Original bug ID: 5906
Reporter: @sbriais
Assigned to: @garrigue
Status: closed (set by @garrigue on 2013-01-25T04:30:16Z)
Resolution: fixed
Priority: normal
Severity: minor
Platform: AMD64
OS: Linux
Version: 4.00.1
Fixed in version: 4.00.2+dev
Category: typing
Child of: #5998
Monitored by: @hcarty

Bug description

The attached file should warn that a pattern-matching is not exhaustive but does not.
The bug still exists in the current trunk (r13274).

File attachments

• bug.ml