Version française
Home     About     Download     Resources     Contact us    
Browse thread
mysterious signature mismatch
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christian Lindig <lindig@e...>
Subject: mysterious signature mismatch

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/