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

Bug description

The grammar in the document doesn't make a special case for [assert].
This would make sense if we pretend that [assert] is a function and
don't worry too much about the compiler stripping out assert
statements when it's told to. However, if assert is a function then
[assert] by itself has to be a valid expression, and it isn't:

assert;;

Characters 6-8:
assert;;
^^
Syntax error

Thus I think you want another case for expr:

expr ::= ...
| assert expr

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