diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-05-02 14:41:55 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-05-02 14:41:55 +0000 |
commit | 828ad95b7be7d8e757f1e4fa5716e859b84abcf9 (patch) | |
tree | f50ce3fd4a7e98c0a3698edc33b98e297390be82 /lex | |
parent | b8136a7ca829b1684c10f79f4030906c51d0875e (diff) | |
download | ocaml-828ad95b7be7d8e757f1e4fa5716e859b84abcf9.tar.gz |
PR#5598: add backslash-space support in ocamllex
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12419 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'lex')
-rw-r--r-- | lex/lexer.mll | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lex/lexer.mll b/lex/lexer.mll index b99dddf9e0..b3f61bae0e 100644 --- a/lex/lexer.mll +++ b/lex/lexer.mll @@ -36,10 +36,10 @@ let store_string_char c = Buffer.add_char string_buff c let get_stored_string () = Buffer.contents string_buff let char_for_backslash = function - 'n' -> '\n' - | 't' -> '\t' - | 'b' -> '\b' - | 'r' -> '\r' + 'n' -> '\010' + | 'r' -> '\013' + | 'b' -> '\008' + | 't' -> '\009' | c -> c let raise_lexical_error lexbuf msg = @@ -114,7 +114,7 @@ let identstart = let identbody = ['A'-'Z' 'a'-'z' '_' '\192'-'\214' '\216'-'\246' '\248'-'\255' '\'' '0'-'9'] let backslash_escapes = - ['\\' '"' '\'' 'n' 't' 'b' 'r'] + ['\\' '\'' '"' 'n' 't' 'b' 'r' ' '] rule main = parse [' ' '\013' '\009' '\012' ] + |