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: Remi VANICAT <vanicat@l...>
Subject: Re: [Caml-list] module type constraints
Patrick M Doane <patrick@watson.org> writes:

> 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]

not in the case of the "with type" :

module type Titi =
sig
  type t
end;;

module Blip (T:Titi with type t = 'a constraint 'a = [> `A]) =
struct
end;;

--
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
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