Version française
Home     About     Download     Resources     Contact us    
Browse thread
Empty polymorphic variant type
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Bünzli_Daniel <daniel.buenzli@e...>
Subject: Re: [Caml-list] Re: Empty polymorphic variant type

Le 6 févr. 08 à 13:24, Till Varoquaux a écrit :

> would work but it seems clunky and convoluted.

Still clunky but what about

type permission_kind = [ `Read | `Write ]
type 'a account contraint 'a = [< `None | `Some of [<  
permission_kind]];;

Best,

Daniel