Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005747OCaml~DO NOT USE (was: OCaml general)public2012-08-31 20:212015-12-11 19:08
Reportersliquister 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
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
2015-12-11 19:08 xleroy Status resolved => closed
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker