Browse thread
records with polymorphic variants?
[
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: | 2007-03-05 (05:25) |
From: | Eliot Handelman <eliot@g...> |
Subject: | Re: [Caml-list] Re: records with polymorphic variants? |
Martin Jambon wrote: > > You can do this directly if you prefer: > > type 'a f = 'a > constraint 'a = [> `A of int ] This is exactly what I was trying to do in the first place. Where exactly is the main documentation for this syntax? Not in JG's papers, unless I've missed something, as is possible. Many thanks again,. -- eliot