| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0005718 | OCaml | OCaml typing | public | 2012-08-03 20:05 | 2012-08-03 22:32 |
|
| Reporter | prevosto | |
| Assigned To | frisch | |
| Priority | normal | Severity | tweak | Reproducibility | always |
| Status | resolved | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | 4.00.0 | |
| Target Version | | Fixed in Version | | |
|
| Summary | 0005718: warning 37 is a bit too enthusiastic when flagging constructor of a private type as unused |
| Description | When compiling the file in attachment with warning 37 enabled, we get
File "spurious_warning.ml", line 3, characters 7-27:
Warning 37: constructor I is never used to build values.
(However, this constructor appears in patterns.)
But this is precisely the point of having a private type. |
| Steps To Reproduce | untar this attached file
ocamlc -c spurious_warning.mli
ocamlc -c -w+37 spurious_warning.ml
|
| Additional Information | Note that the warning does not appear if we don't open M (and prefix inject and I with M. accordingly). |
| Tags | No tags attached. |
|
| Attached Files |  spurious_warning.tar [^] (10,240 bytes) 2012-08-03 20:05 |
|
Relationships 
Relationships 