Browse thread
Empty polymorphic variant type
-
Till Varoquaux
-
Till Varoquaux
- Bünzli_Daniel
- Christophe TROESTLER
-
Till Varoquaux
[
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: | 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