From: acondolu <andrea.condoluci@unibo.it>
Date: Wed, 12 Jul 2017 21:12:44 +0000 (+0200)
Subject: Disabled some chars as variable names in the parser
X-Git-Tag: weak-reduction-separation~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=65e597bdbc2ba91e8199642dc56fd2a2b1fc127a;p=fireball-separation.git

Disabled some chars as variable names in the parser

(cherry picked from commit bfd8f8a98a7392ac8cbd9070a8e4ff4d06e09510)
---

diff --git a/ocaml/parser.ml b/ocaml/parser.ml
index 4c7b829..90cda05 100644
--- a/ocaml/parser.ml
+++ b/ocaml/parser.ml
@@ -10,7 +10,8 @@ let mk_var x = Var x;;
 
 exception ParsingError of string;;
 
-let isAlphaNum c = let n = Char.code c in 48 <= n && n <= 122 ;;
+let isAlphaNum c = let n = Char.code c in
+ (48 <= n && n <= 90) || (95 <= n && n <= 122) ;;
 let isSpace c = c = ' ' || c = '\n' || c = '\t' ;;
 
 let rec index_of x =