Original bug ID: 4835
Reporter: gareuselesinge
Status: closed (set by @damiendoligez on 2009-12-08T16:50:23Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.11.1
Fixed in version: 3.12.0+dev
Category: ~DO NOT USE (was: OCaml general)
Duplicate of: #4675 #4717
Related to: #4052
Monitored by: lynxiamen

Bug description

let f x = match x with Some y -> y | None _ -> assert false;;

val f : 'a option -> 'a =

And if I use a name instead of _ it complains that None takes no arguments,
but likes 1 (not more) discarded arguments.