English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
ocamlbuild and automatic dependencies
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-03-17 (08:14)
From: Alain Frisch <Alain.Frisch@i...>
Subject: Re: [Caml-list] ocamlbuild and automatic dependencies
skaller wrote:
> So actually, this F is distinct from Foo, even though all the
> members are the same. In particular, if Foo has an abstract type t,
> is F.t the same type as Foo.t?

Yes, because the signature inferred for F keeps a sharing constraint
t = Foo.t. But if G is some functor with an abstract type s in the
result, then G(F).s and G(Foo).s are not equal (because there is no
sharing constraint between modules, such as F = Foo).

-- Alain