Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006503OCamlOCaml documentationpublic2014-07-30 04:112014-07-30 16:55
Reporternorm 
Assigned Toyallop 
PrioritynormalSeveritytextReproducibilityhave not tried
StatusresolvedResolutionno change required 
PlatformIrrelevantOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006503: I cannot parse "let e : type a. int = 3;;".
DescriptionThe 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 ReproduceThis involves mainly reading the page at:
http://caml.inria.fr/pub/docs/manual-ocaml/expr.html [^]
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0011937)
yallop (developer)
2014-07-30 08:45

This syntax is described in the extensions section:

    let-binding ::= ...
       value-name : type { typeconstr-name }+ . typexpr = expr

   http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec229 [^]

- Issue History
Date Modified Username Field Change
2014-07-30 04:11 norm New Issue
2014-07-30 08:45 yallop Note Added: 0011937
2014-07-30 16:55 yallop Status new => resolved
2014-07-30 16:55 yallop Resolution open => no change required
2014-07-30 16:55 yallop Assigned To => yallop


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker