Version française
Home     About     Download     Resources     Contact us    
Browse thread
[newbie] Define and use records in sum types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David.Mentre@i...
Subject: Re: [newbie] Define and use records in sum types
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.