diff options
| author | Hugo Heuzard <hugo.heuzard@gmail.com> | 2018-09-15 04:39:50 +0100 |
|---|---|---|
| committer | Hugo Heuzard <hugo.heuzard@gmail.com> | 2018-09-17 17:41:11 +0800 |
| commit | 7cad3edbe1b6e88006a10c17b4a9eeb85e5d065e (patch) | |
| tree | eba0b78457837bef3f8974f59a2f347aaa4e3870 /lex | |
| parent | 632df7c2403ae43ba74d71a606e37ba95a2bd80e (diff) | |
| download | ocaml-7cad3edbe1b6e88006a10c17b4a9eeb85e5d065e.tar.gz | |
Sync ocamlex with the ocaml lexer
Diffstat (limited to 'lex')
| -rw-r--r-- | lex/lexer.mll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lex/lexer.mll b/lex/lexer.mll index 11fbe9ae08..f19a5d008e 100644 --- a/lex/lexer.mll +++ b/lex/lexer.mll @@ -342,10 +342,10 @@ and action = parse { action lexbuf } and skip_char = parse - | '\\'? '\010' "'" + | '\\'? ('\013'* '\010') "'" { incr_loc lexbuf 1; } - | [^ '\\' '\''] "'" (* regular character *) + | [^ '\\' '\'' '\010' '\013'] "'" (* regular character *) (* one character and numeric escape sequences *) | '\\' _ "'" | '\\' ['0'-'9'] ['0'-'9'] ['0'-'9'] "'" |