From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA26872; Tue, 12 Nov 2002 10:45:12 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA26868 for ; Tue, 12 Nov 2002 10:45:11 +0100 (MET) Received: from indyio.rz.uni-sb.de (indyio.rz.uni-saarland.de [134.96.7.3]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gAC9jA113263 for ; Tue, 12 Nov 2002 10:45:11 +0100 (MET) Received: from mars.rz.uni-saarland.de (IDENT:hEq9dyWX7PA7b5C4zlAqISgRlgLM0fQc@mars.rz.uni-saarland.de [134.96.7.4]) by indyio.rz.uni-sb.de (8.9.3/8.9.3) with ESMTP id MAA21244505 for ; Mon, 11 Nov 2002 12:43:52 +0100 (CET) Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by mars.rz.uni-saarland.de (8.8.8/8.8.4/8.8.2) with ESMTP id MAA230234396 for ; Mon, 11 Nov 2002 12:43:44 +0100 (CET) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.12.6/2002101000) with ESMTP id gABBhiL7024900 for ; Mon, 11 Nov 2002 12:43:44 +0100 (CET) Received: from mail.cs.uni-sb.de (IDENT:gRxnCMTpquAPsEq16LxP8FmpOHj6zZOi@mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.1/2002101000) with ESMTP id gABBhhf29950 for ; Mon, 11 Nov 2002 12:43:43 +0100 (CET) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.12.6/2002101500) with ESMTP id gABBhfiB008080 for ; Mon, 11 Nov 2002 12:43:41 +0100 (CET) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (zoidberg.ps.uni-sb.de [134.96.186.121]) by ps.uni-sb.de (8.11.6/8.11.0) with ESMTP id gABBhfG20483; Mon, 11 Nov 2002 12:43:41 +0100 Message-ID: <3DCF97ED.6E81EB98@ps.uni-sb.de> Date: Mon, 11 Nov 2002 12:43:41 +0100 From: Andreas Rossberg Organization: =?iso-8859-1?Q?Universit=E4t?= des Saarlandes X-Mailer: Mozilla 4.78 [en] (X11; U; Linux 2.4.9-21 i686) X-Accept-Language: de, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Records typing References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk malc wrote: > > # module type T = sig type t type r = { f : t } end;; > module type T = sig type t and r = { f : t; } end > > # module M : T with type t = float = struct > type t = float > type r = { f : t } > end;; > > Signature mismatch: > Modules do not match: > sig type t = float and r = { f : t; } end > is not included in > sig type t = float and r = { f : t; } end > Type declarations do not match: > type r = { f : t; } > is not included in > type r = { f : t; } > > Is there a way to work around this? This seems to be a bug. You can work around it using "and" to connect the type declarations in the structure: # module type T = sig type t type r = { f : t } end;; module type T = sig type t and r = { f : t; } end # module M : T with type t = float = struct type t = float and r = { f : t } end;; module M : sig type t = float and r = { f : t; } end # -- 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