X-Git-Url: https://scm.cri.minesparis.psl.eu/git/Faustine.git/blobdiff_plain/043c676f59520b93dfacfa0d8d7e1fdd448cd7dc..1878a8448a5a73cbf289306beb5e88ab48561129:/backup/lexer.mll?ds=inline

diff --git a/backup/lexer.mll b/backup/lexer.mll
deleted file mode 100644
index a3a4746..0000000
--- a/backup/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 }