On Tue, 17 Jun 2003, Andreas Rossberg wrote:

> Pietro Abate wrote:
> >
> > how can I force BB.t to be the same as AA.t ?
>
> module BB : A2 with type t = A1.t = struct
>      type t = A1.t
>      let toast f1 f2 = false
> end

It does not work because A1 is used as a structure identifier.
It's ok if you replace A1 by AA.

Julien
-- 
mailto : Julien.Signoles@lri.fr ; http : www.lri.fr/~signoles
"In theory, practice and theory are the same,
but in practice they are different" (Larry McVoy)

-------------------
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/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners