* [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;
as well as URLs for NNTP newsgroup(s).