X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/06159b51a934937f647ec7119b47cb466d8e50b1..66f23d4fabf89ad09adbd4dfc15ac6b5b2b7da83:/interpretor/lexer.mll diff --git a/interpretor/lexer.mll b/interpretor/lexer.mll deleted file mode 100644 index a3a4746..0000000 --- a/interpretor/lexer.mll +++ /dev/null @@ -1,18 +0,0 @@ -{open Parser} - -rule token = parse - [' ' '\t' '\n' ] { token lexbuf } -| ['a'-'z' 'A'-'Z']+ as x { IDENT x } -| ['+' '*' '-' '/' '!' '_' '#' - '@' '<' '>' '%'] as x { IDENT (String.make 1 x) } -| "[]" { IDENT "[]" } -| ['0'-'9']+ as a { CONST a } -| '.' { POINT } -| '(' { LPAR } -| ')' { RPAR } -| ',' { PAR } -| ':' { SEQ } -| "<:" { SPLIT } -| ":>" { MERGE } -| "~" { REC } -| eof { EOF }