0005747: 'unused open' warning not given when compiling with -annot

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005747

OCaml

OCaml general

public

2012-08-31 20:21

2012-09-03 19:04

Reporter

sliquister

Assigned To

frisch

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

OS Version

Product Version

4.00.0

Target Version

Fixed in Version

4.01.0+dev

Summary

0005747: 'unused open' warning not given when compiling with -annot

Description

The 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 Information

This 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.

Tags

No 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