Original bug ID: 1441
Reporter: administrator
Status: closed (set by @garrigue on 2010-12-13T12:10:58Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.12.0
Category: ~DO NOT USE (was: OCaml general)
Related to: #4974 #5037
Monitored by: "Julien Signoles"

Bug description

Full_Name: Julien Signoles
Version: 3.06
OS: Linux
Submission from: ext2.lri.fr (129.175.15.5)

module type MT = sig val a : bool val a : int end;;

module type MT = sig val a : bool val a : int end

module M : MT = struct let a = true let a = 0 end;;

Signature mismatch:
Modules do not match: sig val a : bool val a : int end is not included in MT
Values do not match: val a : int is not included in val a : bool

solutions (?) :
- restreindre la signature MT a sig val : int end
- modifier l'algo verifiant l'inclusion
(- modifier le "include" pour n'exporter que sig val : int end.
En pratique, j'obtiens ce cas a cause de l'utilisation d'"include" dans MT et
dans M.)

Julien Signoles.