diff options
Diffstat (limited to 'tokenizer.fun')
| -rw-r--r-- | tokenizer.fun | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tokenizer.fun b/tokenizer.fun index b0df510..07bd08d 100644 --- a/tokenizer.fun +++ b/tokenizer.fun @@ -12,7 +12,7 @@ struct MacroEnd of int | Id of int | - CharConst of int * int | + CharConst of int * Word64.word | Num of int | Strlit of int | @@ -585,7 +585,7 @@ struct val v = case chr of Reg #"\000" => error (S.getPosDisc stream) "expected character" - | Reg c | EscSeqed c => ord c + | Reg c | EscSeqed c => Word64.fromInt $ ord c | NoChar => raise Unreachable val (c, stream2) = getMaybeBackslashed stream1 |