diff options
Diffstat (limited to 'exn_handler.fun')
| -rw-r--r-- | exn_handler.fun | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/exn_handler.fun b/exn_handler.fun index 6e069d6..7e0aa4d 100644 --- a/exn_handler.fun +++ b/exn_handler.fun @@ -37,6 +37,7 @@ struct | IO.Io _ => ioExn e | T.TkErrorAug (pos, msg) => eprint $ T.S.ppos2str pos ^ ": " ^ msg | P.TkExpected v => P.tkExpectedPrint v + | P.TkError v => P.tkErrorPrint v | _ => otherExn e; exit 255) end |