Original bug ID: 4136
Reporter: Guillaume Bonfante
Status: closed (set by @garrigue on 2010-04-30T04:44:53Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.09.2
Fixed in version: 3.12.0+dev
Category: ~DO NOT USE (was: OCaml general)
Has duplicate: #4296

Bug description

when compiling the following programs,

simple.mli :
module type X =
sig
val t : int
val t : int
end

simple.ml :
module type X =
sig
val t : int
val t : int
end

one gets a message :

The implementation simple.ml does not match the interface simple.cmi:
Module type declarations do not match:
module type X = sig val t : int val t : int end
does not match
module type X = sig val t : int val t : int end
Illegal permutation of structure fields

which is not really informative. With one thousand line of code, it becomes hard to recover the mistake.

File attachments

• simple.ml