0001441: Inclusion d'une structure dans une signature

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001441

OCaml

OCaml general

public

2002-10-16 10:12

2010-12-13 13:10

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

3.12.0

Summary

0001441: Inclusion d'une structure dans une signature

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.

Tags

No tags attached.

Attached Files

Relationships

related to	0004974	closed		manque de verifications dans les .mli
related to	0005037	closed		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