[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [4291] add quoted idents
From: |
Pascal Brisset |
Subject: |
[paparazzi-commits] [4291] add quoted idents |
Date: |
Tue, 20 Oct 2009 11:23:22 +0000 |
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 }
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [4291] add quoted idents,
Pascal Brisset <=