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 SAA27405; Mon, 5 Aug 2002 18:01:47 +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 SAA27439 for <caml-list@pauillac.inria.fr>; Mon, 5 Aug 2002 18:01:46 +0200 (MET DST)
Received: from mel-rto2.wanadoo.fr (smtp-out-2.wanadoo.fr [193.252.19.254])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g75G1kP14331
	for <caml-list@inria.fr>; Mon, 5 Aug 2002 18:01:46 +0200 (MET DST)
Received: from mel-rta10.wanadoo.fr (193.252.19.193) by mel-rto2.wanadoo.fr (6.5.007)
        id 3D49FBEC0014C4EB for caml-list@inria.fr; Mon, 5 Aug 2002 18:01:46 +0200
Received: from debian (80.8.82.154) by mel-rta10.wanadoo.fr (6.5.007)
        id 3D49FFDD00148E38 for caml-list@inria.fr; Mon, 5 Aug 2002 18:01:46 +0200
Received: from moi by debian with local (Exim 3.35 #1 (Debian))
	id 17bkJ5-0000rV-00
	for <caml-list@inria.fr>; Mon, 05 Aug 2002 18:02:07 +0200
To: caml-list@inria.fr
Subject: Re: [Caml-list] Matching when
References: <000f01c23c62$3ec98150$0700a8c0@warp>
Mail-Copy-To: never
From: Remi VANICAT <vanicat@labri.u-bordeaux.fr>
Date: Mon, 05 Aug 2002 18:02:07 +0200
In-Reply-To: <000f01c23c62$3ec98150$0700a8c0@warp> ("Nicolas Cannasse"'s
 message of "Mon, 5 Aug 2002 11:26:57 +0200")
Message-ID: <873cttnvk0.dlv@wanadoo.fr>
User-Agent: Gnus/5.090006 (Oort Gnus v0.06) Emacs/21.2
 (i386-debian-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 8bit
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

"Nicolas Cannasse" <warplayer@free.fr> writes:

> 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 *)
> | ....

well, I won't say it's beautiful, but this work :

match (e, 10) with
  | (Any, t)
  | (Int t, _) when t > 0 -> 
               ....
  | ....

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
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