0005608: Shadowing a variable by a different type fails in a module in OCaml 4.01

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005608

OCaml

OCaml general

public

2012-05-07 09:59

2012-05-14 04:10

Reporter

furuse

Assigned To

garrigue

Priority

high

Severity

major

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

4.00.0+dev

Summary

0005608: Shadowing a variable by a different type fails in a module in OCaml 4.01

Description

The following program is rejected by ocaml 4.01.0+dev2 (2012-04-17):

module X = struct
  let x = 1
  let x = 1.0
end

The compiler says:

module X = struct
  let x = 1
  let x = 1.0
end

The compiler says:

File "/tmp/x.ml", line 1:
Error: The implementation //toplevel//
       does not match the interface (inferred signature):
       In module X:
       Modules do not match:
         sig val x : int val x : float end
       is not included in
         sig val x : int val x : float end
       In module X:
       Values do not match: val x : float is not included in val x : int
       File "/tmp/x.ml", line 2, characters 6-7: Expected declaration
       File "/tmp/x.ml", line 3, characters 6-7: Actual declaration

Tags

No tags attached.

Attached Files

Relationships

Notes
(0007416) garrigue (manager) 2012-05-07 10:52	I cannot reproduce with the current version of trunk (revision 12433). What is your revision number?

(0007417) furuse (reporter) 2012-05-07 10:55	It is 12410.

(0007423) garrigue (manager) 2012-05-08 06:33	I still cannot reproduce, but I have fixed a similar problem in the toplevel. Please try with the current version (revision 12440).

(0007428) furuse (reporter) 2012-05-14 04:05	Verified the problem is gone in the latest svn. Please close this.

(0007429) garrigue (manager) 2012-05-14 04:10	This was apparently related to the toplevel issue fixed by commit 12440.

Issue History
Date Modified	Username	Field	Change
2012-05-07 09:59	furuse	New Issue
2012-05-07 10:51	garrigue	Assigned To	=> garrigue
2012-05-07 10:51	garrigue	Status	new => assigned
2012-05-07 10:52	garrigue	Note Added: 0007416
2012-05-07 10:55	furuse	Note Added: 0007417
2012-05-08 06:33	garrigue	Note Added: 0007423
2012-05-08 06:33	garrigue	Status	assigned => feedback
2012-05-14 04:05	furuse	Note Added: 0007428
2012-05-14 04:05	furuse	Status	feedback => assigned
2012-05-14 04:10	garrigue	Note Added: 0007429
2012-05-14 04:10	garrigue	Status	assigned => closed
2012-05-14 04:10	garrigue	Resolution	open => fixed
2012-05-14 04:10	garrigue	Fixed in Version	=> 4.00.0+dev