Browse thread
[newbie] Define and use records in sum types
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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.