On Fri, 2010-12-17 at 01:47 -0500, John Cowan wrote:
I've posted it at http://trac.sacrideo.us/wg/wiki/MatchingWise. I
removed the section on exceptions (which is still unsettled) and
changed the MUSTard. I've also removed the (rnrs match core)
library in favor of just renaming on import.
I
On 12/17/2010 12:17 AM, Peter Kourzanov wrote:
On Thu, 2010-12-16 at 23:42 -0800, Per Bothner wrote:
For example this would be mis-parsed in an unexpected manner:
(lambda (x y) (list y x))
My definition *is* (I believe) compatible (i.e. a super-set) of traditional
lambda.
But it
One quick correction -- the (removed) (rnrs match core) library renamed
match-lambda* - lambda
while this edit renames
match-lambda. - Lambda
which will not work.
Sent from my iPhone.
Digital signature available upon request.
On Dec 17, 2010, at 1:59, John Cowan
Per Bothner p...@bothner.com writes:
Regardless:
(lambda
(pat body body ...)
(pat body body ...)
...)
is incompatible with core:lambda - i.e. it is not a super-set of traditional
lambda, and it's not just a matter of rare corner cases. That makes it
Jim Wise jw...@draga.com writes:
I'd like to propose the following revision: do away with the
one-argument special case currently known as match-lambda (this can be
easily implemented in terms of the multi-argument case, and make the
pattern matching version of lambda take one pattern and
Jim Wise jw...@draga.com writes:
For consideration, enclosed is an updated version of MatchingWise
containing this change, and removing a lingering reference to (rnrs
match core) in the introduction.
One more quick formatting fix:
== Pattern Matching ==
This is a proposal for a WG2 pattern