English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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