]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/parser.ml
Disabled some chars as variable names in the parser
[fireball-separation.git] / ocaml / parser.ml
index 4c7b829b91d5669c65598b3cc6443b9e0e2d281c..90cda05bd2313d661d51c009919eccdf9c1407cd 100644 (file)
@@ -10,7 +10,8 @@ let mk_var x = Var x;;
 \r
 exception ParsingError of string;;\r
 \r
-let isAlphaNum c = let n = Char.code c in 48 <= n && n <= 122 ;;\r
+let isAlphaNum c = let n = Char.code c in\r
+ (48 <= n && n <= 90) || (95 <= n && n <= 122) ;;\r
 let isSpace c = c = ' ' || c = '\n' || c = '\t' ;;\r
 \r
 let rec index_of x =\r