diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-19 21:17:49 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-19 21:17:49 +0200 |
| commit | b2d8dcd8673cfcdbf1e8a02aa19c53e42b8a60b6 (patch) | |
| tree | 7de178aec8ebeacc7b4effe3b09de4485487da65 /tokenizer.sig | |
| parent | 88378509521b46e615986f8c82d10b9da88830d2 (diff) | |
Transition from exception-based errors to printf-based
Diffstat (limited to 'tokenizer.sig')
| -rw-r--r-- | tokenizer.sig | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tokenizer.sig b/tokenizer.sig index 91de93a..a1f5c28 100644 --- a/tokenizer.sig +++ b/tokenizer.sig @@ -123,10 +123,6 @@ signature TOKENIZER = sig PpcError | PpcPragma - (* Fatal. both may be thrown by tokenize *) - exception FsmTableIsTooSmall - exception TkErrorAug of S.pos * string - val getToken: S.t -> token * S.pos * S.t val Ptk: (token, 'a, 'b) a1printer |