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 AAA09474 for caml-red; Wed, 26 Jul 2000 00:00:40 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA21220 for ; Tue, 25 Jul 2000 09:25:28 +0200 (MET DST) Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e6P7PSb29257 for ; Tue, 25 Jul 2000 09:25:28 +0200 (MET DST) Received: from alan-schm1p (alan-schm1p.inria.fr [128.93.20.79]) by margaux.inria.fr (8.7.6/8.7.3) with SMTP id JAA24244 for ; Tue, 25 Jul 2000 09:25:28 +0200 (MET DST) Received: by alan-schm1p (sSMTP sendmail emulation); Tue, 25 Jul 2000 07:26:20 +0200 From: Alan Schmitt Date: Tue, 25 Jul 2000 07:26:20 +0200 To: caml-list@inria.fr Subject: Re: [newbie] Define and use records in sum types Message-ID: <20000725072620.B28795@alan-schm1p.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20000717120151.A32148@miss.wu-wien.ac.at> <14709.63462.792269.194367@ish.artisan.com> <20000719221048.B23676@miss.wu-wien.ac.at> <14712.16572.925353.202223@silvester.cs.uu.nl> <20000721220058.A29053@miss.wu-wien.ac.at> <14713.41688.558933.239829@silvester.cs.uu.nl> <20000722203116.A8157@miss.wu-wien.ac.at> <14714.63823.257355.941516@silvester.cs.uu.nl> <20000723172048.A32338@miss.wu-wien.ac.at> <14716.3142.811473.125684@silvester.cs.uu.nl> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2i In-Reply-To: <14716.3142.811473.125684@silvester.cs.uu.nl>; from franka@cs.uu.nl on Mon, Jul 24, 2000 at 11:28:38AM +0200 Organization: INRIA Rocquencourt Sender: weis@pauillac.inria.fr Hi, >BTW, here is the URL of a previous discussion on this subject in the archives: > > http://pauillac.inria.fr/caml/caml-list/1136.html > http://pauillac.inria.fr/caml/caml-list/1203.html (follow the thread) > Why not use the new archiving of the list: http://pauillac.inria.fr/caml/archives/199902/msg00097.html http://pauillac.inria.fr/caml/archives/199903/msg00049.html >(There is also a long post somewhere by Xavier on the type inference problem >with records, but I couldn't find it.) This archiving system comes with a pretty good search engine: http://pauillac.inria.fr/bin/wilma/caml-list Alan Schmitt -- The hacker: someone who figured things out and made something cool happen.