From @masak

This be Rakudo db84bc, chugging along on Parrot r43174.

$ perl6 -e 'sub foo(@​a, $b) {}; foo(5)'
Nominal type check failed for parameter '@​a'; expected Positional but
got Int instead

While the nominal type check does indeed fail when sending an Int
where a Positional is expected, I'd much rather Rakudo fail me for
sending in one argument instead of two.

From @coke

On Thu Jan 14 07​:12​:33 2010, masak wrote​:

This be Rakudo db84bc, chugging along on Parrot r43174.

$ perl6 -e 'sub foo(@​a, $b) {}; foo(5)'
Nominal type check failed for parameter '@​a'; expected Positional but
got Int instead

While the nominal type check does indeed fail when sending an Int
where a Positional is expected, I'd much rather Rakudo fail me for
sending in one argument instead of two.

Same error message on recent-vintage rakudo.

--
Will "Coke" Coleda

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

From @diakopter

On Tue Oct 04 17​:32​:39 2011, coke wrote​:

On Thu Jan 14 07​:12​:33 2010, masak wrote​:

This be Rakudo db84bc, chugging along on Parrot r43174.

$ perl6 -e 'sub foo(@​a, $b) {}; foo(5)'
Nominal type check failed for parameter '@​a'; expected Positional
but
got Int instead

While the nominal type check does indeed fail when sending an Int
where a Positional is expected, I'd much rather Rakudo fail me for
sending in one argument instead of two.

Same error message on recent-vintage rakudo.

DTRT now. marking testneeded, though there's probably already a test
for it.

16​:44 <p6eval> rakudo 024843​: OUTPUT«===SORRY!===␤CHECK
FAILED​:␤Calling 'foo' will never
  work with argument types (int) (line 1)␤ Expected​: :
(@​a, $b)␤»

From @diakopter

On Tue May 29 14​:46​:17 2012, diakopter wrote​:

On Tue Oct 04 17​:32​:39 2011, coke wrote​:

On Thu Jan 14 07​:12​:33 2010, masak wrote​:

This be Rakudo db84bc, chugging along on Parrot r43174.

$ perl6 -e 'sub foo(@​a, $b) {}; foo(5)'
Nominal type check failed for parameter '@​a'; expected Positional
but
got Int instead

While the nominal type check does indeed fail when sending an Int
where a Positional is expected, I'd much rather Rakudo fail me for
sending in one argument instead of two.

Same error message on recent-vintage rakudo.

DTRT now. marking testneeded, though there's probably already a test
for it.

16​:44 <p6eval> rakudo 024843​: OUTPUT«===SORRY!===␤CHECK
FAILED​:␤Calling 'foo' will never
work with argument types (int) (line 1)␤ Expected​:
:
(@​a, $b)␤»

that is, it at least shows the signature, which shows the missing
parameter.

From @coke

On Fri Jun 01 17​:41​:14 2012, diakopter wrote​:

On Tue May 29 14​:46​:17 2012, diakopter wrote​:

On Tue Oct 04 17​:32​:39 2011, coke wrote​:

On Thu Jan 14 07​:12​:33 2010, masak wrote​:

This be Rakudo db84bc, chugging along on Parrot r43174.

$ perl6 -e 'sub foo(@​a, $b) {}; foo(5)'
Nominal type check failed for parameter '@​a'; expected Positional
but
got Int instead

While the nominal type check does indeed fail when sending an Int
where a Positional is expected, I'd much rather Rakudo fail me for
sending in one argument instead of two.

Same error message on recent-vintage rakudo.

DTRT now. marking testneeded, though there's probably already a test
for it.

16​:44 <p6eval> rakudo 024843​: OUTPUT«===SORRY!===␤CHECK
FAILED​:␤Calling 'foo' will never
work with argument types (int) (line 1)␤ Expected​:
:
(@​a, $b)␤»

that is, it at least shows the signature, which shows the missing
parameter.

Test added to S06-signature/errors.t

--
Will "Coke" Coleda

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