# New Ticket Created by [email protected]
# Please include the string: [perl #66622]
# in the subject line of all future correspondence about this issue.
# <URL: http://rt.perl.org/rt3/Ticket/Display.html?id=66622 >
13:01 < PerlJam> rakudo: sub foo ($a where 5) { say "hi" }; foo(42);
13:01 < p6eval> rakudo ba09b2: OUTPUT«Parameter type check failed; expected
something matching Junction() but got something of type Int() for $a in call to
fooin sub foo (/tmp/kDLyrk7qrK:2)called from Main (/tmp/kDLyrk7qrK:2)»
13:02 < PerlJam> that's a weird message.
13:02 <@moritz_> masak: same here
13:02 < masak> PerlJam: indeed.
13:02 <@moritz_> perhaps the type check is internally implemented as a
all() junction
13:02 < masak> probably.
13:02 < masak> still feels like leakage.
13:03 -!- mberends [[email protected]] has joined #perl6
13:03 <@moritz_> rakudo: sub foo ($a where 5) { say "hi" }; foo(42|43)
13:03 < p6eval> rakudo ba09b2: OUTPUT«Parameter type check failed; expected
something matching Junction() but got something of type Int() for $a in call to
fooin sub foo (/tmp/A7bgDgLfWG:2)called from sub foo
(/tmp/A7bgDgLfWG:2)called from Main (/tmp/A7bgDgLfWG:2)»
--
Jonathan Scott Duff
[email protected]
