# New Ticket Created by  "Carl Mäsak" 
# Please include the string:  [perl #74900]
# in the subject line of all future correspondence about this issue. 
# <URL: http://rt.perl.org/rt3/Ticket/Display.html?id=74900 >


<masak> the lack of an argument counts as narrower than a slurpy.
<masak> but what about a single optional?
<masak> rakudo: multi foo() { say "OH HAI" }; multi foo(Int $a?) {};
multi foo(Str $a?) {}; foo
<p6eval> rakudo 1eef08: OUTPUT«Ambiguous dispatch to multi 'foo'.
Ambiguous candidates had signatures:␤:()␤:(Int $a?)␤:(Str $a?) [...]
<masak> any reason one shouldn't count the lack of an argument as
narrower there too?
<masak> it would be a nice way to resolve the ensuing ambiguity
between :(Int $a?) and :(Str $a?)
<spinclad> masak: a definite nothing is narrower than a possible Int
or Str, i agree
* masak submits rakudobug
<masak> might need a bit of spec too, maybe.

Reply via email to