Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] module type constraints
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Patrick M Doane <patrick@w...>
Subject: Re: [Caml-list] module type constraints
The [> `A] type has an implicit type variable which must be bound on the
left hand side.  This should work:

  type 'a t = 'a   constraint 'a = [> `A]

Patrick

On Tue, 29 Jan 2002, David Monniaux wrote:

> Why isn't it possible to use module type constraints such as:
> with type t = [> `A] ?
>
>
> David Monniaux            http://www.di.ens.fr/~monniaux
> Laboratoire d'informatique de l'École Normale Supérieure,
> Paris, France
>
> -------------------
> Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
> To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr
>

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr