diff options
| author | Vincent Jacques <vincent@vincent-jacques.net> | 2017-07-21 17:36:04 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@gmail.com> | 2017-07-21 18:13:09 +0200 |
| commit | 7a14d5b4e77e951b3a6bbd18a168e1bf721dca08 (patch) | |
| tree | 9e7b4ba623320e94a3408b24d56e05d820f7832a /manual | |
| parent | 1fc6ccb0877c282c93e78619882525fc4ab9209c (diff) | |
| download | ocaml-7a14d5b4e77e951b3a6bbd18a168e1bf721dca08.tar.gz | |
Reference manual: fix syntax errors in grammar
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/refman/lex.etex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/manual/manual/refman/lex.etex b/manual/manual/refman/lex.etex index fa24d1e468..1630bd5877 100644 --- a/manual/manual/refman/lex.etex +++ b/manual/manual/refman/lex.etex @@ -80,8 +80,8 @@ float-literal: [("e"||"E") ["+"||"-"] ("0"\ldots"9") { "0"\ldots"9"||"_" }] | ["-"] ("0x"||"0X") ("0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f") - { "0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f"||"_" }\\ - ["." { "0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f"||"_" } + { "0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f"||"_" } + ["." { "0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f"||"_" }] [("p"||"P") ["+"||"-"] ("0"\ldots"9") { "0"\ldots"9"||"_" }] \end{syntax} @@ -151,7 +151,7 @@ string-literal: string-character: regular-string-char | escape-sequence - | "\u{" ("0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f")+ "}" + | "\u{" {{ "0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f" }} "}" | '\' newline { space || tab } \end{syntax} |