Skip to content

Warning on unused constructors in presence of type re-export #5588

@vicuna

Description

@vicuna

Original bug ID: 5588
Reporter: @yakobowski
Assigned to: @alainfrisch
Status: closed (set by @alainfrisch on 2012-04-18T12:38:04Z)
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Monitored by: "Julien Signoles"

Bug description

Consider the code below

-- m.mli --------
type t = Foo

-- m.ml ---------
module M = struct
type foo = Foo
end

type t = M.foo = Foo

With -w+A, the compiler reports a warning 37 on the initial declaration of the constructor foo. This can be deemed too aggressive, as this constructor is used when type foo is re-exported.

Additional information

(current trunk)

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions