[
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: | 2004-11-25 (18:20) |
From: | Christophe TROESTLER <debian00@t...> |
Subject: | Re: [Caml-list] What is an open type? |
On 26 Nov 2004, skaller <skaller@users.sourceforge.net> wrote: > > An open type like [> `X ] isn't actually a type, you can't > name it like: > > type xx = [> `X ] It is polymorphic: type 'a xx = 'a constraint 'a = [> `X];; Cheers, ChriS