Added support for better tracing in ocaml backend

Fixed an issue in ast.ml with uneccessary type variables

1 files changed, 2 insertions, 2 deletions

diff --git a/src/lexer2.mll b/src/lexer2.mll
index 4acbd6e5..1763b3a6 100644
--- a/src/lexer2.mll
+++ b/src/lexer2.mll
@@ -162,7 +162,7 @@ let kw_table =
 }
 
 let ws = [' ''\t']+
-let letter = ['a'-'z''A'-'Z']
+let letter = ['a'-'z''A'-'Z''?']
 let digit = ['0'-'9']
 let binarydigit = ['0'-'1']
 let hexdigit = ['0'-'9''A'-'F''a'-'f']
@@ -170,7 +170,7 @@ let alphanum = letter|digit
 let startident = letter|'_'
 let ident = alphanum|['_''\'']
 let tyvar_start = '\''
-let oper_char = ['!''$''%''&''*''+''-''.''/'':''<''=''>''?''@''^''|']
+let oper_char = ['!''$''%''&''*''+''-''.''/'':''<''=''>''@''^''|']
 let operator = (oper_char+ ('_' ident)?)
 let escape_sequence = ('\\' ['\\''\"''\'''n''t''b''r']) | ('\\' digit digit digit) | ('\\' 'x' hexdigit hexdigit)