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
Indeed! I should have looked there. I sent my report after an email from Jean-Christophe Filliâtre (politely) complaining that this was undocumented.
To my knowledge this is the only language extension that affects the lexical specification of the language, and not only the grammar. One could argue that having a full view of the lexical conventions (I understand all the ways OCaml code can be lexed) is more important than having a full view of the grammar. I would be in favor of having an explicit mention of the new syntax in the "standard" part of the manual, that would point to the extension description for more details. Would you agree?
To my knowledge this is the only language extension that affects the lexical specification of the language, and not only the grammar.
Not true: integer literals for types int32, int64 and nativeint are in the same boat.
On the other hand, the fact that "assert", "lazy", "private", ":=", ".." are keywords is recorded in the "lexical conventions" chapter, while they are only used in extensions.
What I would like to see is a "see also" footnote (or something equivalent) on each nonterminal (lexical or syntactic) that is modified by a language extension.
Original bug ID: 6597
Reporter: @gasche
Status: resolved (set by @xavierleroy on 2017-02-06T19:00:59Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.02.0
Target version: 4.03.1+dev
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: documentation
Tags: junior_job
Bug description
http://caml.inria.fr/pub/docs/manual-ocaml/lex.html
does not mention the new string literal syntax {foo|...|foo}
The text was updated successfully, but these errors were encountered: