* [Caml-list] module type constraints @ 2002-01-29 17:31 David Monniaux 2002-01-29 17:56 ` Patrick M Doane 0 siblings, 1 reply; 3+ messages in thread From: David Monniaux @ 2002-01-29 17:31 UTC (permalink / raw) To: Liste CAML 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 ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] module type constraints 2002-01-29 17:31 [Caml-list] module type constraints David Monniaux @ 2002-01-29 17:56 ` Patrick M Doane 2002-01-30 9:01 ` Remi VANICAT 0 siblings, 1 reply; 3+ messages in thread From: Patrick M Doane @ 2002-01-29 17:56 UTC (permalink / raw) To: David Monniaux; +Cc: Liste CAML [-- Warning: decoded text below may be mangled, UTF-8 assumed --] [-- Attachment #1: Type: TEXT/PLAIN; charset=X-UNKNOWN, Size: 831 bytes --] 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 ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] module type constraints 2002-01-29 17:56 ` Patrick M Doane @ 2002-01-30 9:01 ` Remi VANICAT 0 siblings, 0 replies; 3+ messages in thread From: Remi VANICAT @ 2002-01-30 9:01 UTC (permalink / raw) To: caml-list 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 ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2002-01-30 9:01 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2002-01-29 17:31 [Caml-list] module type constraints David Monniaux 2002-01-29 17:56 ` Patrick M Doane 2002-01-30 9:01 ` Remi VANICAT
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox