]> matita.cs.unibo.it Git - fireball-separation.git/commitdiff
Disabled some chars as variable names in the parser
authoracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 21:12:44 +0000 (23:12 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 25 May 2018 08:26:21 +0000 (10:26 +0200)
(cherry picked from commit bfd8f8a98a7392ac8cbd9070a8e4ff4d06e09510)

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