diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lexer.mll | 2 | ||||
| -rw-r--r-- | src/pre_lexer.mll | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/lexer.mll b/src/lexer.mll index 3b1a1583..1443e94d 100644 --- a/src/lexer.mll +++ b/src/lexer.mll @@ -157,7 +157,7 @@ let binarydigit = ['0'-'1'] let hexdigit = ['0'-'9''A'-'F''a'-'f'] let alphanum = letter|digit let startident = letter|'_' -let ident = alphanum|['_''\''] +let ident = alphanum|['_''\'''#'] let tyvar_start = '\'' let oper_char = ['!''$''%''&''*''+''-''.''/'':''<''=''>''?''@''^''|''~'] let escape_sequence = ('\\' ['\\''\"''\'''n''t''b''r']) | ('\\' digit digit digit) | ('\\' 'x' hexdigit hexdigit) diff --git a/src/pre_lexer.mll b/src/pre_lexer.mll index f648a594..7e119118 100644 --- a/src/pre_lexer.mll +++ b/src/pre_lexer.mll @@ -118,7 +118,7 @@ let binarydigit = ['0'-'1'] let hexdigit = ['0'-'9''A'-'F''a'-'f'] let alphanum = letter|digit let startident = letter|'_' -let ident = alphanum|['_''\''] +let ident = alphanum|['_''\'''#'] let tyvar_start = '\'' let oper_char = ['!''$''%''&''*''+''-''.''/'':''<''=''>''?''@''^''|''~'] let escape_sequence = ('\\' ['\\''\"''\'''n''t''b''r']) | ('\\' digit digit digit) | ('\\' 'x' hexdigit hexdigit) |