Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005747OCamlOCaml generalpublic2012-08-31 20:212012-09-03 19:04
Reportersliquister 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.0 
Target VersionFixed in Version4.01.0+dev 
Summary0005747: 'unused open' warning not given when compiling with -annot
DescriptionThe program in the following section should trigger the 'unused open' warning, but the warning is triggering only when the -annot flag is absent.
Steps To Reproduce/tmp$ ocamlopt -version
4.00.0
/tmp$ cat a.ml
module Result = struct
  let x = 2
end
module Infix = Result

open Infix
include Result
let _ = x
/tmp$ ocamlopt -w +A -annot a.ml
/tmp$ ocamlopt -w +A a.ml
File "a.ml", line 6, characters 0-10:
Warning 33: unused open Infix.

Additional InformationThis bug is already present in 4.00+rc1, and I did not check any other version.
The -bin-annot flag does not trigger this problem.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008008)
frisch (developer)
2012-09-03 18:53

Simpler reproduction case:
================================
module Result = struct
  let x = 2
end
module Infix = Result

open Infix
include Result
let _ = x
================================
(0008009)
frisch (developer)
2012-09-03 19:04

Well spotted, thanks!

Fixed in trunk, rev 12905. Will be part of the next major release.

- Issue History
Date Modified Username Field Change
2012-08-31 20:21 sliquister New Issue
2012-09-03 18:52 frisch Assigned To => frisch
2012-09-03 18:52 frisch Status new => assigned
2012-09-03 18:53 frisch Note Added: 0008008
2012-09-03 19:04 frisch Note Added: 0008009
2012-09-03 19:04 frisch Status assigned => resolved
2012-09-03 19:04 frisch Fixed in Version => 4.01.0+dev
2012-09-03 19:04 frisch Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker