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 SAA18078; Sun, 10 Feb 2002 18:42:37 +0100 (MET) 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 SAA03829 for ; Sun, 10 Feb 2002 18:42:36 +0100 (MET) Received: from mandelbrot.house (host217-35-43-194.in-addr.btopenworld.com [217.35.43.194]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g1AHgZD22605 for ; Sun, 10 Feb 2002 18:42:36 +0100 (MET) Received: by mandelbrot.house (Postfix, from userid 1001) id 67EE466; Sun, 10 Feb 2002 17:42:23 +0000 (GMT) Date: Sun, 10 Feb 2002 17:42:23 +0000 From: Ceri Storey To: Remi VANICAT Cc: caml-list@inria.fr Subject: Re: [Caml-list] Allowing many types Message-ID: <20020210174223.GB1452@mandelbrot.house> References: <20020208163700.GA1452@mandelbrot.house> <87vgd7oqy2.dlv@wanadoo.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87vgd7oqy2.dlv@wanadoo.fr> User-Agent: Mutt/1.3.25i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Feb 08, 2002 at 05:53:41PM +0100, Remi VANICAT wrote: > polymorphic variant me be the answer, because you can get back the > type : [...] The problem i've found, is that It's now impossible to explicitly do type annotations, which is a problem when you're creating.. say, a Hashtable. Aside from that, it looks like it'll work well, thanks. -- Ceri Storey http://pkl.net/~cez/ vi(1)! postfix(7)! pie(5)! ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr