Skip Menu |
Report information
Id: 131332
Status: open
Priority: 0/
Queue: perl6

Owner: Nobody
Requestors: cpan [at] zoffix.com
Cc:
AdminCc:

Severity: (no value)
Tag: Bug
Platform: (no value)
Patch Status: (no value)
VM: (no value)



Subject: [BUG] Hyper method call on typed Array returns "impossible" result
Download (untitled) / with headers
text/plain 282b
By hypering a method on an Array typed with Pair containing Pairs, it magically turns into a typed Pair Array containing Str objects, which would normally fail the type check: m: my Pair @p = a => 1, b => 2; dd @p».key rakudo-moar 316399: OUTPUT: «Array[Pair].new("a", "b")␤»
Date: Sat, 20 May 2017 13:13:23 +0200
From: Elizabeth Mattijsen <liz [...] dijkmat.nl>
To: "Zoffix Znet (via RT)" <perl6-bugs-followup [...] perl.org>
Subject: Re: [perl #131332] [BUG] Hyper method call on typed Array returns "impossible" result
Download (untitled) / with headers
text/plain 653b
Show quoted text
> On 20 May 2017, at 13:05, Zoffix Znet (via RT) <perl6-bugs-followup@perl.org> wrote: > > # New Ticket Created by Zoffix Znet > # Please include the string: [perl #131332] > # in the subject line of all future correspondence about this issue. > # <URL: https://rt.perl.org/Ticket/Display.html?id=131332 > > > > By hypering a method on an Array typed with Pair containing Pairs, it magically turns into a typed Pair Array containing Str objects, which would normally fail the type check: > > m: my Pair @p = a => 1, b => 2; dd @p».key > rakudo-moar 316399: OUTPUT: «Array[Pair].new("a", "b")␤»
Shouldn’t this like, eh, return a .Seq ??


This service is sponsored and maintained by Best Practical Solutions and runs on Perl.org infrastructure.

For issues related to this RT instance (aka "perlbug"), please contact perlbug-admin at perl.org