Original bug ID: 1611
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Julien Signoles
Version: 3.06
OS: Linux
Submission from: newwww.lri.fr (129.175.15.10)

Bonjour,

Le probleme decrit ci-dessous correspond soit a une specification pas claire
dans le manuel (section 6.10.4), soit a un bug :

module type T = sig type t module X : sig type xt = t end end;;

module type T = sig type t module X : sig type xt = t end end

module X = struct type xt = int end;;

module X : sig type xt = int end

module type U = T with module X = X and type t = int;;

In this `with' constraint, the new definition of X
does not match its original definition in the constrained signature:
Modules do not match:
sig type xt = int end
is not included in
sig type xt = t end
Type declarations do not match: type xt = int is not included in type xt = t

module type U = T with type t = int and module X = X;;

module type U = sig type t = int module X : sig type xt = int end end

Le "and" dans un "with" n'est donc pas commutatif : ca ne semble pas
correspondre a ce qu'il y a d'indiquer dans le manuel de reference.

Julien Signoles