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/