diff options
| author | Brian Campbell | 2017-10-25 12:25:42 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-10-25 12:25:42 +0100 |
| commit | fd70c99777002114be5d14a89f169f6e239b9cac (patch) | |
| tree | 3e3472a89298f4e04fa3d56acebb900eb2f6201d /src/lexer2.mll | |
| parent | 63e6dc9ac7effde553cd446cc737a0ec28c5f39d (diff) | |
| parent | c4fafd80d816fd06a4091c217c43e232ac9a8706 (diff) | |
Merge branch 'experiments' into mono-experiments
Diffstat (limited to 'src/lexer2.mll')
| -rw-r--r-- | src/lexer2.mll | 4 |
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) |
