Re: [perl #121454] Can't inline complex constraints in multisub signatures

2014-03-18 Thread Darren Duncan
Damian, Moritz, etc, It seems to me that the basic problem here is that the vertical bar | has 2 different meanings (outside rules) depending on context. When used with type names it produces a union type, while with normal values such as integer literals it produces a junction value. Routi

Re: [perl #121454] Can't inline complex constraints in multisub signatures

2014-03-18 Thread Damian Conway
> As I read the specs, > > multi fib(0|1) { 1 } > > would be short for > > multi fib(Junction $ where 0|1) { 1 } > > which I believe doesn't do what you want. Ah, yes, that's certainly consistent. Though not, perhaps, very useful. So maybe it's better that it doesn't compile at all. ;-) I guess I

Re: [perl #121454] Can't inline complex constraints in multisub signatures

2014-03-18 Thread Moritz Lenz
On 03/17/2014 05:19 PM, Damian Conway (via RT) wrote: # New Ticket Created by Damian Conway # Please include the string: [perl #121454] # in the subject line of all future correspondence about this issue. # https://rt.perl.org/Ticket/Display.html?id=121454 > On the 2014.01 release of Rakudo