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: 6503 Reporter: norm Assigned to:@yallop Status: closed (set by @xavierleroy on 2016-12-07T10:34:22Z) Resolution: not a bug Priority: normal Severity: text Platform: Irrelevant Version: 4.01.0 Category: documentation
Bug description
The OCaml version 4.01.0 top level accepts the following degenerate but evidently meaningful statement:
let e : type a. int = 3;;
I cannot parse this expression according to the official syntax at: http://caml.inria.fr/pub/docs/manual-ocaml/language.html
I would guess that an additional alternative to let-binding is needed.
Probably another syntactic category is needed to produce text such as "type a b.".
Original bug ID: 6503
Reporter: norm
Assigned to: @yallop
Status: closed (set by @xavierleroy on 2016-12-07T10:34:22Z)
Resolution: not a bug
Priority: normal
Severity: text
Platform: Irrelevant
Version: 4.01.0
Category: documentation
Bug description
The OCaml version 4.01.0 top level accepts the following degenerate but evidently meaningful statement:
let e : type a. int = 3;;
I cannot parse this expression according to the official syntax at:
http://caml.inria.fr/pub/docs/manual-ocaml/language.html
I would guess that an additional alternative to let-binding is needed.
Probably another syntactic category is needed to produce text such as "type a b.".
Steps to reproduce
This involves mainly reading the page at:
http://caml.inria.fr/pub/docs/manual-ocaml/expr.html
The text was updated successfully, but these errors were encountered: