summaryrefslogtreecommitdiff
path: root/src/lexer2.mll
diff options
context:
space:
mode:
authorBrian Campbell2017-10-25 12:25:42 +0100
committerBrian Campbell2017-10-25 12:25:42 +0100
commitfd70c99777002114be5d14a89f169f6e239b9cac (patch)
tree3e3472a89298f4e04fa3d56acebb900eb2f6201d /src/lexer2.mll
parent63e6dc9ac7effde553cd446cc737a0ec28c5f39d (diff)
parentc4fafd80d816fd06a4091c217c43e232ac9a8706 (diff)
Merge branch 'experiments' into mono-experiments
Diffstat (limited to 'src/lexer2.mll')
-rw-r--r--src/lexer2.mll4
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)