Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Pattern matching over elements at the front of a container
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Pattern matching over elements at the front of a container
On Sat, 2004-06-26 at 21:15, Jon Harrop wrote:

> Also, is it not possible to alter the definition and implementation of OCaml 
> such that the pattern "(a, a)" is treated as "(a, b) when a=b"? Has this not 
> been done because the "=" is suspect?


Also sometimes it would be nice to be able to introduce 
variables in patterns:

| (a,_,1) with b = 1 | (a,b,0) ->


-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners