You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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"
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: