Reindentation

src/grammars/TODO.parser_bugs

 ; -*-org-*-
 
 * DONE Add an optional ";" before the "end" keyword
+* TODO Change lexers to avoid problems with keywords
 * TODO Add precedence values and management in the signature
 * TODO Add (+) notation style to prevent the infix use of +
 * TODO Add syntactic extensions to handle associativity and precedence of infix operators

src/grammars/data_lexer.mll

@@ -48,11 +48,9 @@ let letter = ['a'-'z' 'A'-'Z'  '
 let digit = ['0'-'9']
 let string = (letter|digit|'_')*'\''*
   
-  let symbol = ['|' '!' '"' '#' '$' '%' '&' '\'' '*' '+' '-' '/' '<' '>' '?' '@' '[' '\\' ']' '^' '`' '{' '}' '~' ]
+let symbol = ['|' '!' '"' '#' '$' '%' '&' '\'' '*' '+' '-' '/' '<' '>' '?' '@' '[' '\\' ']' '^' '`' '{' '}' '~' ]
 
-
-
-    rule lexer =
+rule lexer =
     parse
       | [' ' '\t'] {lexer lexbuf}
       | newline {let () = Error.update_loc lexbuf None in lexer lexbuf}