[Caml-list] "type foo = Foo | Bar | Baz" vs. "type foo = Foo | Baz | Bar"

[Oliver Bandel <oliver@first.in-berlin.de>]

Hello,

I got an error message when the ml-file and the mli-file
have a sum-type, where the order of the type definitionis different.

This seems to be new, at least I did not found such an error message before.

===========================================================================
File "foo.ml", line 1:
Error: The implementation foo.ml does not match the interface foo.cmi:
        Type declarations do not match:
          type foo = Foo | Bar | Baz
        is not included in
          type foo = Foo | Baz | Bar
        File "foo.ml", line 1, characters 0-26: Actual declaration
        Fields number 2 have different names, Bar and Baz.
===========================================================================

I looked for warning-/error-codes, to look, if checking the order
of the definition of a type can be switched on and off.

But I didn't found a number, that I can use with -w-switch.

Any ideas on this?

Ciao,
    Oliver