Original bug ID: 4423
Reporter: @alainfrisch
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2012-03-24T14:01:03Z)
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Has duplicate: #4584
Monitored by: jm

Bug description

Le message d'erreur produit par le typeur pour le code ci-dessous n'est pas particulièrement éclairant (et je ne crois pas que le manuel permette de comprendre pourquoi le code est invalide):

module X : sig
type t
type s = {x:t}
end = struct
type t = float
type s = {x:t}
end

Modules do not match:
sig type t = float type s = { x : t; } end
is not included in
sig type t type s = { x : t; } end
Type declarations do not match:
type s = { x : t; }
is not included in
type s = { x : t; }