From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA12934 for caml-red; Wed, 15 Nov 2000 22:40:13 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA19797 for <caml-list@pauillac.inria.fr>; Wed, 15 Nov 2000 16:34:30 +0100 (MET)
Received: from lakeland.eecs.harvard.edu (lakeland.eecs.harvard.edu [140.247.62.173])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eAFFYSX10701
	for <caml-list@inria.fr>; Wed, 15 Nov 2000 16:34:29 +0100 (MET)
Received: by lakeland.eecs.harvard.edu (Postfix, from userid 32148)
	id 9BEEE202F2; Wed, 15 Nov 2000 10:33:59 -0500 (EST)
Date: Wed, 15 Nov 2000 10:33:59 -0500
From: Christian Lindig <lindig@eecs.harvard.edu>
To: Caml Mailing List <caml-list@inria.fr>
Subject: mysterious signature mismatch
Message-ID: <20001115103359.C13992@lakeland.eecs.harvard.edu>
Mail-Followup-To: Christian Lindig <lindig>,
	Caml Mailing List <caml-list@inria.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.5i
Sender: weis@pauillac.inria.fr


The following code is rejected by the compiler with a signature
mismatch error.  However, the signature below is the same the one
inferred by the compiler.  Bug or feature?

    module type A =
      sig
        type 'int width = 'int
        type 'int bits = 'int * 'int width
      end

    module Aa:A =
      struct
        type 'int width = 'int
        type 'int bits = 'int * 'int width
      end

    Signature mismatch: [..] Type declarations do not match:
    type 'a bits = 'a * 'a width is not included in
    type 'a bits = 'a * 'a width
  
-- Christian

-- 
Christian Lindig          Harvard University - DEAS
lindig@eecs.harvard.edu   33 Oxford St, MD 242, Cambridge MA 02138
phone: +1 (617) 496-7157  http://www.eecs.harvard.edu/~lindig/