From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA32546; Mon, 5 Aug 2002 21:29:19 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA32656 for ; Mon, 5 Aug 2002 21:29:18 +0200 (MET DST) Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g75JTHP17510; Mon, 5 Aug 2002 21:29:17 +0200 (MET DST) Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM) id VAA0000007257; Mon, 5 Aug 2002 21:29:17 +0200 (MET DST) From: Luc Maranget Message-Id: <200208051929.VAA0000007257@beaune.inria.fr> Subject: Re: [Caml-list] Matching when To: skaller@ozemail.com.au (John Max Skaller) Date: Mon, 5 Aug 2002 21:29:17 +0200 (MET DST) Cc: luc.maranget@inria.fr (Luc Maranget), warplayer@free.fr (Nicolas Cannasse), caml-list@inria.fr (OCaml) In-Reply-To: <3D4EA41B.8080502@ozemail.com.au> from "John Max Skaller" at aoû 06, 2002 02:13:15 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > #include > > match (2,1) with > | ( (?x when x>=1), (?y when y >=1)) when x >=2 => { print "YES"; endl; } > | _ => { print "NO"; endl; } > endmatch; > > wherein 'when' expressions are part of patterns, and as you can see, > can be nested within a pattern -- making the grammar for patterns > and expressions mutually recursive. > > I'm curious as to what problems you perceive with > the mutual recursion. > > -- > John Max Skaller, mailto:skaller@ozemail.com.au > snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia. > voice:61-2-9660-0850 > > > > Nothing special, it is just an important change for a questionable benefit.... Changing that would change many things in the front end, in particular, the type-checker. May be easy, may not be... --Luc ------------------- 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