From @gfldex

dd 10.Capture, 0.5.Capture;
# OUTPUT«\()␤\(​:denominator(2), :numerator(1))␤»
# expected OUTPUT«\(10)␤\(​:denominator(2), :numerator(1))␤»

# this leads to odd behaviour for

sub returns-different-things () { ((10,"ten"), 10).pick };
given returns-different-things() {
  when :(Int, Str) { say 'It returned a list.' };
  when :(Int) { say 'returned a single Int' };
  default { say 'This should never happen' }
}

# OUTPUT«This should never happen␤»

From @lizmat

On 05 Jun 2016, at 09​:52, Wenzel Peppmeyer (via RT) <perl6-bugs-followup@​perl.org> wrote​:

# New Ticket Created by Wenzel Peppmeyer
# Please include the string​: [perl #​128321]
# in the subject line of all future correspondence about this issue.
# <URL​: https://rt-archive.perl.org/perl6/Ticket/Display.html?id=128321 >

dd 10.Capture, 0.5.Capture;
# OUTPUT«\()␤\(​:denominator(2), :numerator(1))␤»
# expected OUTPUT«\(10)␤\(​:denominator(2), :numerator(1))␤»

# this leads to odd behaviour for

sub returns-different-things () { ((10,"ten"), 10).pick };
given returns-different-things() {
when :(Int, Str) { say 'It returned a list.' };
when :(Int) { say 'returned a single Int' };
default { say 'This should never happen' }
}

# OUTPUT«This should never happen␤»

I tried making Mu.Capture take self as a positional, but that causes all sorts of spectest breakage. *AND* it didn’t make the example work.

I’m not sure what the best cause of action is.

Liz

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

From @lizmat

On 05 Jun 2016, at 09​:52, Wenzel Peppmeyer (via RT) <perl6-bugs-followup@​perl.org> wrote​:

# New Ticket Created by Wenzel Peppmeyer
# Please include the string​: [perl #​128321]
# in the subject line of all future correspondence about this issue.
# <URL​: https://rt-archive.perl.org/perl6/Ticket/Display.html?id=128321 >

dd 10.Capture, 0.5.Capture;
# OUTPUT«\()␤\(​:denominator(2), :numerator(1))␤»
# expected OUTPUT«\(10)␤\(​:denominator(2), :numerator(1))␤»

# this leads to odd behaviour for

sub returns-different-things () { ((10,"ten"), 10).pick };
given returns-different-things() {
when :(Int, Str) { say 'It returned a list.' };
when :(Int) { say 'returned a single Int' };
default { say 'This should never happen' }
}

# OUTPUT«This should never happen␤»

Maybe it is ENOTABUG​:

sub returns-different-things () { ((10,"ten"), 10).pick };
given returns-different-things() {
  when :(Int, Str) { say 'It returned a list.' };
  when Int { say 'returned a single Int' }; # <— just Int will do for scalar values
  default { say 'This should never happen' }
}

gives the expected result.

Liz

From @gfldex

On Sun, 5 Jun 2016, Elizabeth Mattijsen via RT wrote​:

On 05 Jun 2016, at 09​:52, Wenzel Peppmeyer (via RT) <perl6-bugs-followup@​perl.org> wrote​:

# New Ticket Created by Wenzel Peppmeyer
# Please include the string​: [perl #​128321]
# in the subject line of all future correspondence about this issue.
# <URL​: https://rt-archive.perl.org/perl6/Ticket/Display.html?id=128321 >

dd 10.Capture, 0.5.Capture;
# OUTPUT«\()␤\(​:denominator(2), :numerator(1))␤»
# expected OUTPUT«\(10)␤\(​:denominator(2), :numerator(1))␤»

# this leads to odd behaviour for

sub returns-different-things () { ((10,"ten"), 10).pick };
given returns-different-things() {
when :(Int, Str) { say 'It returned a list.' };
when :(Int) { say 'returned a single Int' };
default { say 'This should never happen' }
}

# OUTPUT«This should never happen␤»

Maybe it is ENOTABUG​:

sub returns-different-things () { ((10,"ten"), 10).pick };
given returns-different-things() {
when :(Int, Str) { say 'It returned a list.' };
when Int { say 'returned a single Int' }; # <— just Int will do for scalar values
default { say 'This should never happen' }
}

gives the expected result.

Indeed. However, I am surprised by the following.

dd 10 ~~ :(Int), (10,) ~~ :(Int)
# OUTPUT«Bool​::False␤Bool​::True␤»

I can doc that there is a special case for matching against signature
literals when single values are involved. I would prefere if Rakudo
would DWIM.

From @zoffixznet

On Sun, 05 Jun 2016 00​:52​:54 -0700, gfldex wrote​:

Thank you for the report. This ticket is now resolved.

Impl​: rakudo/rakudo@4ba12ff
  rakudo/rakudo@bad9fef
  rakudo/rakudo@cd5864c
  rakudo/rakudo@27131ed

Spec​: Raku/roast@ca27350
  Raku/roast@48d5d39

Docs​: Raku/doc@88ef45e
  Raku/doc@12ec0ca

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