Re: The S13 "is commutative" trait

2007-01-17 Thread Larry Wall
On Tue, Jan 16, 2007 at 01:41:30PM -0800, Jonathan Lang wrote: : Luke Palmer wrote: : >Seems reasonable. My generality alarm goes off when I realize that : >you can't specify commutativity for two of the three args, but that's : >fine because it's definitely a cpanable feature. : : IIRC, it's pos

Re: The S13 "is commutative" trait

2007-01-16 Thread Jonathan Lang
Luke Palmer wrote: Seems reasonable. My generality alarm goes off when I realize that you can't specify commutativity for two of the three args, but that's fine because it's definitely a cpanable feature. IIRC, it's possible to embed one signature within another one; if the embedded signature

Re: The S13 "is commutative" trait

2007-01-16 Thread Luke Palmer
On 1/16/07, Dave Whipp <[EMAIL PROTECTED]> wrote: Synopsys 13 mentions an "is commutative" trait in its discussion of operator overloading syntax: > Binary operators may be declared as commutative: > >multi sub infix:<+> (Us $us, Them $them) is commutative { >myadd($us,$them) }

The S13 "is commutative" trait

2007-01-16 Thread Dave Whipp
Synopsys 13 mentions an "is commutative" trait in its discussion of operator overloading syntax: > Binary operators may be declared as commutative: > >multi sub infix:<+> (Us $us, Them $them) is commutative { >myadd($us,$them) } A few questions: Is this restricted to only binary op