You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5922 Reporter: Julien Signoles Status: closed (set by @bobzhang on 2013-02-16T15:38:35Z) Resolution: not a bug Priority: normal Severity: minor Version: 4.00.1 Category: documentation
Bug description
In Section 6.7 "Expressions" of the reference manual, the BNF for expressions 'expr' seems to be incomplete. At least, it should reference "let module M = m in e" and "fun (type t) (x:t) -> e".
In the same way, Section 6.10 "Module types" should reference "module type of" while Section 6.8 "Type and Expression definitions" should reference GADTs.
The text was updated successfully, but these errors were encountered:
Original bug ID: 5922
Reporter: Julien Signoles
Status: closed (set by @bobzhang on 2013-02-16T15:38:35Z)
Resolution: not a bug
Priority: normal
Severity: minor
Version: 4.00.1
Category: documentation
Bug description
In Section 6.7 "Expressions" of the reference manual, the BNF for expressions 'expr' seems to be incomplete. At least, it should reference "let module M = m in e" and "fun (type t) (x:t) -> e".
In the same way, Section 6.10 "Module types" should reference "module type of" while Section 6.8 "Type and Expression definitions" should reference GADTs.
The text was updated successfully, but these errors were encountered: