Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007852OCamltypingpublic2018-09-21 18:462018-09-23 11:46
Reportertrefis 
Assigned Totrefis 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version4.08.0+dev 
Target VersionFixed in Version 
Summary0007852: Spurious unused value warning with destructive substitution
DescriptionThis regression was introduced by https://github.com/ocaml/ocaml/pull/1737 [^]

I'll try to fix it without having to revert the GPR.
But if I fail, we can always revert it, it's not that important.
Steps To Reproduce$ cat test.mli
module M : sig
  type t
  val foo : t -> int
  val bar : t -> int
end

module N : sig
  type outer
  type t
  val foo : t -> outer
  val bar : t -> outer
end with type outer := int
$ ./ocamlc.opt -w +32 -c ./test.mli
File "./test.mli", line 10, characters 2-22:
Warning 32: unused value foo.
File "./test.mli", line 11, characters 2-22:
Warning 32: unused value bar.
$ $HOME/.opam/4.07.0/bin/ocamlc -w +32 -c ./test.mli
$
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0019378)
trefis (manager)
2018-09-21 18:47

Btw, this would also happen when destructively substituting a module.

- Issue History
Date Modified Username Field Change
2018-09-21 18:46 trefis New Issue
2018-09-21 18:46 trefis Status new => assigned
2018-09-21 18:46 trefis Assigned To => trefis
2018-09-21 18:47 trefis Note Added: 0019378


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker