From @moritz

Here is a bug which showed up in colomon++'s ABC module during
precompilation.

One needs three module files to reproduce this​:

# file ./lib/A/Role.pm
use v6;
role A​::Role { }

# file ./lib/A/Class1.pm
use v6;
use A​::Role;
class A​::Class1 does A​::Role { }

# file ./lib/A/Class2.pm
use v6;
use A​::Role;
use A​::Class1;

class A​::Classs2 does A​::Role { }

running 'ufo && make' to precompile those modules produces this error​:

mkdir -p `dirname 'blib/lib/A/Role.pir'`
env
PERL6LIB=/home/moritz/tmp/oddness/blib/lib​:/home/moritz/tmp/oddness/lib​:
perl6 --target=pir --output=blib/lib/A/Role.pir lib/A/Role.pm
mkdir -p `dirname 'blib/lib/A/Class1.pir'`
env
PERL6LIB=/home/moritz/tmp/oddness/blib/lib​:/home/moritz/tmp/oddness/lib​:
perl6 --target=pir --output=blib/lib/A/Class1.pir lib/A/Class1.pm
mkdir -p `dirname 'blib/lib/A/Class2.pir'`
env
PERL6LIB=/home/moritz/tmp/oddness/blib/lib​:/home/moritz/tmp/oddness/lib​:
perl6 --target=pir --output=blib/lib/A/Class2.pir lib/A/Class2.pm
===SORRY!===
None of the parametric role variants for 'A​::Role' matched the arguments
supplied.
Cannot call ''; none of these signatures match​:

make​: *** [blib/lib/A/Class2.pir] Error 1

The fact that the list of candidates is empty indicates that it is lost
somewhere during the precompilation.

From @moritz

This bug doesn't even need the 'A​::' part in all those namespaces, using
top-level namspaces gives the same result.

@moritz - Status changed from 'new' to 'open'

From @jnthn

On Thu Apr 26 12​:20​:21 2012, moritz wrote​:

Here is a bug which showed up in colomon++'s ABC module during
precompilation.

One needs three module files to reproduce this​:

# file ./lib/A/Role.pm
use v6;
role A​::Role { }

# file ./lib/A/Class1.pm
use v6;
use A​::Role;
class A​::Class1 does A​::Role { }

# file ./lib/A/Class2.pm
use v6;
use A​::Role;
use A​::Class1;

class A​::Classs2 does A​::Role { }

running 'ufo && make' to precompile those modules produces this error​:

mkdir -p `dirname 'blib/lib/A/Role.pir'`
env
PERL6LIB=/home/moritz/tmp/oddness/blib/lib​:/home/moritz/tmp/oddness/lib​:
perl6 --target=pir --output=blib/lib/A/Role.pir lib/A/Role.pm
mkdir -p `dirname 'blib/lib/A/Class1.pir'`
env
PERL6LIB=/home/moritz/tmp/oddness/blib/lib​:/home/moritz/tmp/oddness/lib​:
perl6 --target=pir --output=blib/lib/A/Class1.pir lib/A/Class1.pm
mkdir -p `dirname 'blib/lib/A/Class2.pir'`
env
PERL6LIB=/home/moritz/tmp/oddness/blib/lib​:/home/moritz/tmp/oddness/lib​:
perl6 --target=pir --output=blib/lib/A/Class2.pir lib/A/Class2.pm
===SORRY!===
None of the parametric role variants for 'A​::Role' matched the arguments
supplied.
Cannot call ''; none of these signatures match​:

make​: *** [blib/lib/A/Class2.pir] Error 1

The fact that the list of candidates is empty indicates that it is lost
somewhere during the precompilation.

Tracked it down. It seems to just be that we need an OwnedRPA thingy,
just like OwnedHash, to make sure SC write barriers are tripped
appropriately. I figured we would need that at some point anyways...
Alternatively we could probably re-arrange some of the role code a bit,
but I'd rather solve the general issue.

Will try and get this in place soon (and leaving this here to remind me
what needs to be done :-)).

/jnthn

From @moritz

jnthn++ fixed this. I'm closing it without spectests because
precompilation isn't specced. I'm still feeling a bit queasy about not
testing it though.

@moritz - Status changed from 'open' to 'resolved'