You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5718 Reporter: prevosto Assigned to:@alainfrisch Status: closed (set by @xavierleroy on 2015-12-11T18:07:34Z) Resolution: fixed Priority: normal Severity: tweak Version: 4.00.0 Category: typing Monitored by:@yakobowski
Bug 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.
Original bug ID: 5718
Reporter: prevosto
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2015-12-11T18:07:34Z)
Resolution: fixed
Priority: normal
Severity: tweak
Version: 4.00.0
Category: typing
Monitored by: @yakobowski
Bug 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).
File attachments
The text was updated successfully, but these errors were encountered: