Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005608OCamlOCaml generalpublic2012-05-07 09:592012-05-14 04:10
Reporterfuruse 
Assigned Togarrigue 
PriorityhighSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.00.0+dev 
Summary0005608: Shadowing a variable by a different type fails in a module in OCaml 4.01
DescriptionThe 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
TagsNo 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker