Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005718OCamlOCaml typingpublic2012-08-03 20:052012-08-03 22:32
Reporterprevosto 
Assigned Tofrisch 
PrioritynormalSeveritytweakReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.0 
Target VersionFixed in Version 
Summary0005718: warning 37 is a bit too enthusiastic when flagging constructor of a private type as unused
DescriptionWhen compiling the file in attachment with warning 37 enabled, we get
File "spurious_warning.ml", line 3, characters 7-27:
Warning 37: constructor I is never used to build values.
(However, this constructor appears in patterns.)

But this is precisely the point of having a private type.
Steps To Reproduceuntar this attached file
ocamlc -c spurious_warning.mli
ocamlc -c -w+37 spurious_warning.ml
Additional InformationNote that the warning does not appear if we don't open M (and prefix inject and I with M. accordingly).
TagsNo tags attached.
Attached Filestar file icon spurious_warning.tar [^] (10,240 bytes) 2012-08-03 20:05

- Relationships

-  Notes
(0007892)
frisch (developer)
2012-08-03 22:32

Thanks! It was already fixed in trunk (commit 12711). I've applied the same fix to 4.00 (commit 12820).

- Issue History
Date Modified Username Field Change
2012-08-03 20:05 prevosto New Issue
2012-08-03 20:05 prevosto File Added: spurious_warning.tar
2012-08-03 22:32 frisch Note Added: 0007892
2012-08-03 22:32 frisch Status new => resolved
2012-08-03 22:32 frisch Resolution open => fixed
2012-08-03 22:32 frisch Assigned To => frisch


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker