[perl #123769] Binding to access of typed array doesn't type check

2015-02-09 Thread via RT
# New Ticket Created by Alexander Moquin # Please include the string: [perl #123769] # in the subject line of all future correspondence about this issue. # https://rt.perl.org/Ticket/Display.html?id=123769 > The following should die: $ perl6 -e'my Int @a; @a[0] := "foo"' $ Presumably the er

[perl #123770] Coercer syntax doesn't check for definedness

2015-02-09 Thread via RT
# New Ticket Created by Elizabeth Mattijsen # Please include the string: [perl #123770] # in the subject line of all future correspondence about this issue. # https://rt.perl.org/Ticket/Display.html?id=123770 > [15:31:47] m: sub a(Int(Cool:D) $a) { say $a }; a Cool # feels this should

[perl #116220] [BUG] Can't talk about roles with unimplemented methods in Rakudo

2015-02-09 Thread Christian Bartolomaeus via RT
The above error happens no longer with all methods. Maybe now really just stringification methods are affected? $ perl6 -e 'role Foo { method bar {...} }; say Foo.^name' Foo $ perl6 -e 'role Foo { method bar {...} }; say Foo.^methods' bar $ perl6-m -e 'role Foo { method bar {...} }; say Foo.per

[perl #115358] [BUG] LTA error message when doing a role that's declared the same way twice in Rakudo

2015-02-09 Thread Christian Bartolomaeus via RT
This fails now with X::Role::Parametric::NoSuchCandidate: $ perl6 -e 'role F { }; role F { }; class G does F { };' ===SORRY!=== No appropriate parametric role variant available for 'F' Is that behaviour sound?

[perl #117041] [BUG] LTA error message when type in signature in role wasn't declared in Rakudo

2015-02-09 Thread Christian Bartolomaeus via RT
The following fails with X::Parameter::InvalidType, which looks good to me. I added a test to S14-roles/basic.t with commit https://github.com/perl6/roast/commit/cf760b1f69 $ perl6 -e 'role A::B { method foo(A::C $a) { } }' ===SORRY!=== Error while compiling -e Invalid typename 'A::C' in paramet

[perl #123396] [BUG] LTA error message when using a package as a nominal type on a parameter in Rakudo

2015-02-09 Thread Christian Bartolomaeus via RT
Nowadays the error message no longer starts with the word 'Type': $ perl6 -e 'role A::B {}; sub foo(A $a) {}' ===SORRY!=== Error while compiling -e A cannot be used as a nominal type on a parameter at -e:1 --> role A::B {}; sub foo(A ⏏$a) {} $ perl6 -e 'package A { }; sub foo(A $a) { }' ===SO

[perl #117041] [BUG] LTA error message when type in signature in role wasn't declared in Rakudo

2015-02-09 Thread Christian Bartolomaeus via RT
Just found ticket https://rt.perl.org/Ticket/Display.html?id=123396 which reasons about 'role A::B {}; sub foo(A $a) {}' and the like. I'll add the bit about 'role A::B { method foo(A $a) { } }' to that ticket, since it seems to be a separate problem. If noone objects, I'm going to close this t