Version française
Home     About     Download     Resources     Contact us    
Browse thread
records with polymorphic variants?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Martin Jambon <martin.jambon@e...>
Subject: Re: [Caml-list] Re: records with polymorphic variants?
On Mon, 5 Mar 2007, Eliot Handelman wrote:

> 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.

Personally, I know it from someone who posted the same answer on caml-list 
sometime around 2004.
:-)


Martin

--
Martin Jambon
http://martin.jambon.free.fr