Version française
Home     About     Download     Resources     Contact us    
Browse thread
What is an open type?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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