Original bug ID: 1627
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

The following is accepted by the ocaml toplevel:

match X with X -> 3;;

However, the documented grammar for patterns at

http://caml.inria.fr/ocaml/htmlman/manual014.html

says that occurrences of `tag-name have to be followed by a pattern.
This is not the case for the above expression. The above expression
is obviously good, so the problem is with the document. I think the
production for pattern should have this added:

pattern ::= ...
| `tag-name

--
Tim Freeman tim@fungible.com
Which is worse: ignorance or apathy? Who knows? Who cares?
GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D 7180 76DF FE00 34B1 5C78