[paparazzi-commits] [4291] add quoted idents

[Pascal Brisset]

Revision: 4291
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=4291
Author:   hecto
Date:     2009-10-20 11:23:22 +0000 (Tue, 20 Oct 2009)
Log Message:
-----------
 add quoted idents

Modified Paths:
--------------
    paparazzi3/trunk/sw/tools/fp_lexer.mll

Modified: paparazzi3/trunk/sw/tools/fp_lexer.mll
===================================================================
--- paparazzi3/trunk/sw/tools/fp_lexer.mll      2009-10-20 11:04:00 UTC (rev 
4290)
+++ paparazzi3/trunk/sw/tools/fp_lexer.mll      2009-10-20 11:23:22 UTC (rev 
4291)
@@ -10,6 +10,7 @@
   | ['0'-'9']+ { INT (int_of_string (Lexing.lexeme lexbuf)) }
   | ['0'-'9']+'.'['0'-'9']* { FLOAT (float_of_string (Lexing.lexeme lexbuf)) }
   | '$'?['a'-'z' '_' 'A'-'Z'] (['a'-'z' 'A'-'Z' '_' '.' '0'-'9']*) { IDENT 
(Lexing.lexeme lexbuf) }
+  | '\''[^'\'']+'\'' { let s = Lexing.lexeme lexbuf in IDENT (String.sub s 1 
(String.length s - 2)) }
   | ',' { COMMA }
   | ';' { SEMICOLON }
   | ':' { COLON }