summaryrefslogtreecommitdiff
path: root/exn_handler.fun
diff options
context:
space:
mode:
Diffstat (limited to 'exn_handler.fun')
-rw-r--r--exn_handler.fun11
1 files changed, 2 insertions, 9 deletions
diff --git a/exn_handler.fun b/exn_handler.fun
index b4e7275..c0a2d7a 100644
--- a/exn_handler.fun
+++ b/exn_handler.fun
@@ -1,6 +1,4 @@
-functor ExnHandler(structure T: TOKENIZER; structure P: PPC):
- EXN_HANDLER =
-struct
+structure ExnHandler: EXN_HANDLER = struct
val eprintf = fn z => printf `"error: " z
@@ -31,12 +29,7 @@ struct
fun handler e = (
printf `"\n";
case e of
- T.FsmTableIsTooSmall =>
- eprintf `"fsm table is too small. Increate 'maxState' value\n" %
- | IO.Io _ => ioExn e
- | T.TkErrorAug (pos, msg) => eprintf T.S.Ppos pos `": " `msg `"\n" %
- | P.TkError v => P.tkErrorPrint v
- | P.TkClassError v => P.tkClassErrorPrint v
+ IO.Io _ => ioExn e
| _ => otherExn e;
exit 1
) handle _ => sysExit 127