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