From @masak

<masak> rakudo​: class A { class B {} }; A​::B.new # this should work,
shouldn't it?
<p6eval> rakudo 78faa0​: OUTPUT«Can not find sub A​::B [...]
<masak> alpha​: class A { class B {} }; say A​::B.new
<p6eval> alpha 30e0ed​: OUTPUT«A​::B()<0x2b1501b2e3e0>␤»
* masak submits rakuodbug

From @masak

<pmichaud> rakudo​: package A { package C​::B { our sub c { say "OH HAI"
} } }; A​::C​::B​::c
<p6eval> rakudo 1727ca​: OUTPUT«Can not find sub A​::C​::B​::c [...]
<pmichaud> that one is wrong (afaik)
<masak> cognominal​: :)
<pmichaud> that should've printed "OH HAI"
* masak submits rakudobug
<pmichaud> rakudo​: package A { package C​::B { our sub c { say "OH HAI"
} } }; C​::B​::c
<p6eval> rakudo 1727ca​: OUTPUT«OH HAI␤»
<pmichaud> afaik, that one is wrong.

Same for other things which nest, like classes.

From snarkyboojum@gmail.com

On Rakudo @​ 1727ca53c7052fabe008748b70823bf8460ad656

In trying to write tests for Day 21 of the Perl 6 Advent Calendar on current Rakudo​:

class Question {
  class Answer {}
  has Question​::Answer @​.answers;
}

when run gives​:

===SORRY!===
In "has" declaration, typename Question​::Answer must be predeclared (or marked as declarative with :​: prefix) at line 5, near " @​.answers"

and the discussion on IRC​:

masak​:rakudo​: class A { class B { has A​::B $.foo } } # golfed :)
[01​:22am]p6eval​:rakudo 1727ca​: OUTPUT«===SORRY!===␤In "has" declaration, typename A​::B must be predeclared (or marked as declarative with :​: prefix) at line 11, near " $.foo } }"␤»
[01​:23am]masak​:moritz_​: don't think you're missing something. I can't explain it either.

This works on alpha.

From acwhite.au@googlemail.com

On Rakudo @​ 1727ca53c7052fabe008748b70823bf8460ad656

In trying to write tests for Day 21 of the Perl 6 Advent Calendar on current Rakudo​:

class Question {
  class Answer {}
  has Question​::Answer @​.answers;
}

when run gives​:

===SORRY!===
In "has" declaration, typename Question​::Answer must be predeclared (or marked as declarative with :​: prefix) at line 5, near " @​.answers"

and the discussion on IRC​:

masak​:rakudo​: class A { class B { has A​::B $.foo } } # golfed :)
[01​:22am]p6eval​:rakudo 1727ca​: OUTPUT«===SORRY!===␤In "has" declaration, typename A​::B must be predeclared (or marked as declarative with :​: prefix) at line 11, near " $.foo } }"␤»
[01​:23am]masak​:moritz_​: don't think you're missing something. I can't explain it either.

This works on alpha.

From @coke

On Sun May 30 08​:50​:55 2010, masak wrote​:

<pmichaud> rakudo​: package A { package C​::B { our sub c { say "OH HAI"
} } }; A​::C​::B​::c
<p6eval> rakudo 1727ca​: OUTPUT«Can not find sub A​::C​::B​::c [...]
<pmichaud> that one is wrong (afaik)
<masak> cognominal​: :)
<pmichaud> that should've printed "OH HAI"
* masak submits rakudobug
<pmichaud> rakudo​: package A { package C​::B { our sub c { say "OH HAI"
} } }; C​::B​::c
<p6eval> rakudo 1727ca​: OUTPUT«OH HAI␤»
<pmichaud> afaik, that one is wrong.

Same for other things which nest, like classes.

These all seem to work now​:

21​:45 < [Coke]> rakudo​: class A { class B {} }; A​::B.new
21​:45 <+p6eval> rakudo 142c41​: ( no output )
21​:45 < [Coke]> rakudo​: class A { class B {} }; A​::B.new.WHAT.say
21​:45 <+p6eval> rakudo 142c41​: OUTPUT«B()␤»
21​:46 < [Coke]> rakudo​: package A { package C​::B { our sub c { say "OH
HAI" } } }; A​::C​::B​::c
21​:46 <+p6eval> rakudo 142c41​: OUTPUT«OH HAI␤»
21​:46 < [Coke]> rakudo​: package A { package C​::B { our sub c { say "OH
HAI" } } }; C​::B​::c
21​:46 <+p6eval> rakudo 142c41​: OUTPUT«Could not find symbol 'C​::B​::&c'␤
in block <anon> at /tmp/PYAMo6baOl​:1␤
  in <anon> at /tmp/PYAMo6baOl​:1␤»

Closable with tests.
--
Will "Coke" Coleda

The RT System itself - Status changed from 'new' to 'open'

From @moritz

We now have a few tests for that, for example in S11-modules/nested.t

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