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 JAA13501 for caml-red; Fri, 21 Jul 2000 09:33:48 +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 JAA31309 for <caml-list@pauillac.inria.fr>; Thu, 20 Jul 2000 09:08:35 +0200 (MET DST)
Received: from air.irisa.fr (air.irisa.fr [131.254.60.130])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e6K78Y108391
	for <caml-list@inria.fr>; Thu, 20 Jul 2000 09:08:34 +0200 (MET DST)
Received: from parate.irisa.fr (parate.irisa.fr [131.254.12.25])
	by air.irisa.fr (8.9.3/8.9.3) with ESMTP id JAA08137;
	Thu, 20 Jul 2000 09:08:34 +0200 (MET DST)
To: filliatr@csl.sri.com (Jean-Christophe Filliatre)
Cc: caml-list@inria.fr
Subject: Re: [newbie] Define and use records in sum types
References: <wd8d7kkewbr.fsf@parate.irisa.fr>
	<14709.65464.87345.229258@cylinder.csl.sri.com>
From: David.Mentre@irisa.fr (David=?iso-8859-1?q?_Mentr=E9?=)
Date: 20 Jul 2000 09:08:33 +0200
In-Reply-To: Jean-Christophe Filliatre's message of "Wed, 19 Jul 2000 12:21:28 -0700 (PDT)"
Message-ID: <wd8g0p5nury.fsf@parate.irisa.fr>
User-Agent: Gnus/5.0805 (Gnus v5.8.5) Emacs/20.6
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: weis@pauillac.inria.fr

Jean-Christophe Filliatre <filliatr@csl.sri.com> writes:

> type t = { name : string; info : u }
>  and u = A
>        | B of int

Many thanks to all people that kindly respond. It was pretty much the
solution I took.

d.
-- 
 David.Mentre@irisa.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.