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 LAA15007; Mon, 5 Aug 2002 11:27:20 +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 LAA15954 for ; Mon, 5 Aug 2002 11:27:20 +0200 (MET DST) Received: from mel-rto4.wanadoo.fr (smtp-out-4.wanadoo.fr [193.252.19.23]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g759REP02879 for ; Mon, 5 Aug 2002 11:27:14 +0200 (MET DST) Received: from mel-rta10.wanadoo.fr (193.252.19.193) by mel-rto4.wanadoo.fr (6.5.007) id 3D49FD3200119D88 for caml-list@inria.fr; Mon, 5 Aug 2002 11:27:14 +0200 Received: from warp (80.13.116.114) by mel-rta10.wanadoo.fr (6.5.007) id 3D49FFDD00114371 for caml-list@inria.fr; Mon, 5 Aug 2002 11:27:14 +0200 Message-ID: <000f01c23c62$3ec98150$0700a8c0@warp> From: "Nicolas Cannasse" To: "OCaml" Subject: [Caml-list] Matching when Date: Mon, 5 Aug 2002 11:26:57 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi ! I was thinking that the following should be possible : match e with | Any | Int x when x > 0 -> .... (* here we don't use x *) | .... But the typechecker reject it because of the unbound 'x' in the "Any" matching. I don't know what kind of difficulty this modification require, but it would be nice if the compiler was able to resolve such cases. :-) Nicolas Cannasse ------------------- 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