From 65dc8186f38426a5c5409582fa4cf64c12a5048e Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Thu, 19 Aug 2010 11:00:36 +0200
Subject: [PATCH] Fix a bug in the lexer: the definition of TK_STRING (used
when including files) was wrong (well, at least, too restrictive, numbers
were forbidden in file names...).
---
src/lexer.mll | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/lexer.mll b/src/lexer.mll
index 73018751..f0753587 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -107,7 +107,7 @@ let token_code tk = (
| TK_ICONST lxm -> ("TK_ICONT" , lxm)
| TK_IDENT lxm -> ("TK_IDENT" , lxm)
| TK_LONGIDENT lxm -> ("TK_LONGIDENT" , lxm)
- | TK_STRING lxm -> ("TK_STRING" , lxm)
+ | TK_STRING lxm -> ("TK_STRING" , lxm)
| TK_IF lxm -> ("TK_IF" , lxm)
| TK_IMPL lxm -> ("TK_IMPL" , lxm)
| TK_INT lxm -> ("TK_INT" , lxm)
@@ -245,7 +245,7 @@ rule lexer = parse
}
(* une chaine quelconque *)
- | "\"" ['A'-'Z' '(' ')' '$' '/' 'a'-'z' '.' '-' '_'] * "\""
+ | "\"" [^ '\"']* "\""
{
let lxm = Lxm.make_string lexbuf in
TK_STRING (lxm)
--
GitLab