Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] signature mismatch
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andreas Rossberg <rossberg@p...>
Subject: Re: [Caml-list] signature mismatch
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
> 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 

Andreas Rossberg,

"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 Archives:
Bug reports: FAQ:
Beginner's list: