mysterious signature mismatch

mysterious signature mismatch

[Christian Lindig]

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/

Re: mysterious signature mismatch

[Xavier Leroy]

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

It is a bug in OCaml 3.00, which is fixed in the current working
sources.

- Xavier Leroy