Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006428OCamlOCaml generalpublic2014-05-16 20:272014-05-16 20:32
ReporterDmitry Grebeniuk 
Assigned Togasche 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionduplicate 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006428: Warning 44 minor inconsistency
Description$ ocaml -w A
        OCaml version 4.01.0

# module A = struct let x = 1 end;;
module A : sig val x : int end
# let x = A.(x);;
val x : int = 1
# let (x, y) = A.(x, 5);;
Warning 44: this open statement shadows the value identifier x (which is later used)
val x : int = 1
val y : int = 5
#

I expect second binding to not give warning, because there is no shadowing.
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0005980resolvedfrisch Maybe a new warning for M.() notation ? 

-  Notes
(0011503)
gasche (developer)
2014-05-16 20:32

We've been discussing this in PR#5980.
  http://caml.inria.fr/mantis/view.php?id=5980#c11347 [^]

We agree that "shadowing" an identifier with itself (or an equal one) should not raise a warning. The implementation work remains to be done.

- Issue History
Date Modified Username Field Change
2014-05-16 20:27 Dmitry Grebeniuk New Issue
2014-05-16 20:32 gasche Note Added: 0011503
2014-05-16 20:32 gasche Relationship added duplicate of 0005980
2014-05-16 20:32 gasche Status new => resolved
2014-05-16 20:32 gasche Resolution open => duplicate
2014-05-16 20:32 gasche Assigned To => gasche


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker