Number of reported actual parameters sent in to an assuming-derived method is always 0 in Rakudo

[p6rt]

Migrated from rt.perl.org#77744 (status was 'resolved')

Searchable as RT77744$

[p6rt]

From @masak

<masak> rakudo​: sub f($x, $y) { say $x }; my &g = &f.assuming(5); g
<p6eval> rakudo 859f2d​: OUTPUT«Not enough positional parameters
passed; got 1 but expected 2␤ in 'f' [...]
<masak> ok, one could argue that the numbers should be 0 and 1,
respectively, and that the function should be g.
<masak> but fair enough, not necessarily a bug.
<masak> this, however​:
<masak> rakudo​: class A { our method f($x​: $y) { say $x } }; my $a =
A.new; my &g = &A​::f.assuming( x => $a ); g
<p6eval> rakudo 859f2d​: OUTPUT«Not enough positional parameters
passed; got 0 but expected 2␤ in 'A​::f' [...]
* masak submits rakudobug
<masak> I never have liked, and probably never will like the fact that
the invocant is counted among the positional parameters. but I'm
willing to write that off as a hard-to-fix Parrot idiosyncracy.
<masak> but the 0 there is wrong. we are passing in one of the two arguments.
<masak> can't have it both ways :)
<masak> rakudo​: class A { our method f($x​: $y, $z) { say $x } }; my $a
= A.new; my &g = &A​::f.assuming( y => 42, z => 5 ); g
<p6eval> rakudo 859f2d​: OUTPUT«Not enough positional parameters
passed; got 0 but expected 3␤ in 'A​::f' [...]
<masak> seems it always gives 0.

[p6rt]

From @colomon

rakudo​: sub a($a, $b, $c) { say "boo!" }; my &b = &a.assuming(1); say
&a.arity; say &b.arity
p6eval​: rakudo 2ee5db​: OUTPUT«3␤0␤»

As far as I know, the 0 there should be 2.

--
Solomon Foster​: colomon@​gmail.com
HarmonyWare, Inc​: http://www.harmonyware.com

[p6rt]

From @usev6

This works now (skids++). I added tests to S06-signature/arity.t with commits Raku/roast@08b64b732a and Raku/roast@1c8e5abec0

I'm closing this ticket as 'resolved'.

[p6rt]

From @usev6

This works now (skids++). I added tests to S06-signature/arity.t with commits Raku/roast@08b64b732a and Raku/roast@1c8e5abec0

I'm closing this ticket as 'resolved'.

[p6rt]

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