From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA25797 for caml-redistribution; Wed, 2 Jun 1999 18:00:34 +0200 (MET DST) 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 JAA23444 for ; Wed, 2 Jun 1999 09:27:17 +0200 (MET DST) Received: from p-voyageur.issy.cnet.fr (p-voyageur.issy.cnet.fr [139.100.0.39]) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id JAA15135 for ; Wed, 2 Jun 1999 09:27:16 +0200 (MET DST) Received: from l-mhs1.lannion.cnet.fr ([161.104.1.59]) by p-voyageur.issy.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2232.9) id L4BZDBZP; Wed, 2 Jun 1999 09:27:15 +0200 Received: from lsun565.lannion.cnet.fr ([161.104.10.182]) by l-mhs1.lannion.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2232.9) id LHDJ69WQ; Wed, 2 Jun 1999 09:27:17 +0200 Received: from lsun565.cnet by lsun565.lannion.cnet.fr (SMI-8.6/SMI-SVR4) id JAA24288; Wed, 2 Jun 1999 09:27:10 +0200 Date: Wed, 2 Jun 1999 09:27:10 +0200 Message-Id: <199906020727.JAA24288@lsun565.lannion.cnet.fr> From: Jean-Francois Monin MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: Vyskocil Vladimir Cc: Caml list Subject: Re: Constante NIL In-Reply-To: <37529AB8.B306AD5F@math.unice.fr> References: <37529AB8.B306AD5F@math.unice.fr> X-Mailer: VM 6.37 under Emacs 20.2.1 Sender: weis > N'est t'il pas concevable de rajouter a Objectif Caml une constante > NIL, UNDEF ou je sais pas trop comment la nommer dont la valeur serait > '_a. Ceci permettrait d'initialiser "par defaut", par exemples, Ca m'est arrive d'utiliser Obj.magic, par exemple : type ('a, 'b) cell = {mutable lft : 'b; c : key; mutable v : 'a; mutable rgt : 'b} let any_c : unit -> key = Obj.magic let any_v : unit -> 'a = Obj.magic let env_init () = {lft=Empty; c=any_c (); v=any_v (); rgt=Empty} -- Jean-Francois Monin, CNET DTL/MSV, Tel +33 2 96 05 26 79 2 av. Pierre Marzin, 22307 Lannion, France Fax +33 2 96 05 39 45 SANS TRAIT D'UNION : JeanFrancois.Monin@cnet.francetelecom.fr