Julien Signoles wrote:
> 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.

Of course, you are completely right. Should have reread my reply before 
posting...

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

"Computer games don't affect kids; I mean if Pac Man affected us
  as kids, we would all be running around in darkened rooms, munching
  magic pills, and listening to repetitive electronic music."
  - Kristian Wilson, Nintendo Inc.

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