From the.ashleydev+rt.cpan.org@gmail.com

(11​:01) < TimToady> m​: sub same'proto(​::T, T $a, T $b) { $a.WHAT === $b.WHAT }; my &infix​:<same-in-Int> = &same'proto.assuming(Int); say 42 same-in-Int "42"
(11​:01) <+camelia> rakudo-moar 3607d7​: OUTPUT«Type check failed in binding $b; expected 'Int' but got 'Str'␤ in sub same'proto at /tmp/hHGw6Gs9QV​:1␤ in sub CURRIED at src/gen/m-CORE.setting​:4136␤ in block <unit> at /tmp/hHGw6Gs9QV​:1␤␤»

see​: http://irclog.perlgeek.de/perl6/2015-02-26#i_10185459

From the.ashleydev+rt.cpan.org@gmail.com

Note the typecheck is is correct -- it's just the error message mentioning curry that's incorrect.

From @skids

The current error message is now​:

$ perl6 -e 'sub same'"'"'proto(​::T, T $a, T $b) { $a.WHAT === $b.WHAT }; my &infix​:<same-in-Int> = &same'"'"'proto.assuming(Int); say 42 same-in-Int "42"'
Type check failed in binding $b; expected 'Int' but got 'Str'
  in sub same'proto at -e​:1
  in sub __PRIMED_ANON at EVAL_2​:4
  in sub __PRIMED_ANON at EVAL_2​:1
  in block <unit> at -e​:1

I believe that will be satisfactory?

I have added a test to perl6 S06-currying/misc.t.

So this ticket may now be closeable, I think.

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

From @usev6

Reading through the ticket and the mentioned IRC logs, the current error message looks good to me. I'm closing this ticket as 'resolved'.

Please reopen if the backtrace isn't awesome enough.

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