[svn:perl6-synopsis] r13529 - doc/trunk/design/syn

2007-01-17 Thread larry
Author: larry Date: Wed Jan 17 18:24:48 2007 New Revision: 13529 Modified: doc/trunk/design/syn/S05.pod Log: We now analyze regex expressions as pattern/action pairs and grammars as collections of those pairs. The initial-constant-strings approach is now generalized to initial DFAable pattern

[svn:perl6-synopsis] r13528 - doc/trunk/design/syn

2007-01-17 Thread larry
Author: larry Date: Wed Jan 17 14:05:20 2007 New Revision: 13528 Modified: doc/trunk/design/syn/S05.pod Log: Clarify how C<||> limits longest-token semantics. Modified: doc/trunk/design/syn/S05.pod == --- doc/trunk/d

[svn:perl6-synopsis] r13527 - doc/trunk/design/syn

2007-01-17 Thread larry
Author: larry Date: Wed Jan 17 11:50:09 2007 New Revision: 13527 Modified: doc/trunk/design/syn/S03.pod Log: Revised reduce semantics to allow list infixes to work correctly. Modified: doc/trunk/design/syn/S03.pod ==

Re: [svn:perl6-synopsis] r13526 - doc/trunk/design/syn

2007-01-17 Thread Jonathan Lang
[EMAIL PROTECTED] wrote: +Conjectural: If the first parameter to a multi signature is followed +by an invocant colon, that signature represents two signatures, one +for an ordinary method definition, and one for the corresponding multi +definition that has a comma instead of the colon. This form

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: Numeric Semantics

2007-01-17 Thread Jonathan Lang
TSa wrote: Luke Palmer wrote: > That is, is 1 different from 1.0? I opt for 1 being Int and 1.0 being Num. But for the latter a test .does(Int) might succeed on the footing that the fractional part is zero, that is 1.0%1 == 0. I'm very leery of the idea that "A.does(B)" ever returns true when

[svn:perl6-synopsis] r13526 - doc/trunk/design/syn

2007-01-17 Thread larry
Author: larry Date: Wed Jan 17 10:56:32 2007 New Revision: 13526 Modified: doc/trunk/design/syn/S13.pod Log: Replaced "is commutative" with a more general multisig syntax. Modified: doc/trunk/design/syn/S13.pod == --

Re: Numeric Semantics

2007-01-17 Thread TSa
HaloO, Luke Palmer wrote: That is, is 1 different from 1.0? I opt for 1 being Int and 1.0 being Num. But for the latter a test .does(Int) might succeed on the footing that the fractional part is zero, that is 1.0%1 == 0. Note that 1/3*3 does not necessarily equal 1.0 for floating point math. I