Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001441OCamlOCaml generalpublic2002-10-16 10:122010-12-13 13:10
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version3.12.0 
Summary0001441: Inclusion d'une structure dans une signature
DescriptionFull_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.

TagsNo tags attached.
Attached Files

- Relationships
related to 0004974closed manque de verifications dans les .mli 
related to 0005037closed 3.12.0+dev18: "module type of" produces unusable signatures for repeated definitions 

-  Notes
(0005739)
garrigue (manager)
2010-12-13 13:10

C'est la solution 1 (restreindre la signature) qui a été adoptée depuis 3.12.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2010-02-09 14:46 doligez Relationship added related to 0004974
2010-04-30 17:22 doligez Relationship added related to 0005037
2010-12-13 13:10 garrigue Note Added: 0005739
2010-12-13 13:10 garrigue Status acknowledged => closed
2010-12-13 13:10 garrigue Resolution open => fixed
2010-12-13 13:10 garrigue Fixed in Version => 3.12.0


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker