diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-11 21:54:16 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-11 21:54:16 +0200 |
| commit | e99a8dc48ede26696be2ba75a8cb0d5122d94598 (patch) | |
| tree | c3dcd1d6a9b96aaedd081f13b9dc7e7d6c07e2bd /exn_handler.fun | |
| parent | 8e2dc7712de206b87e1c46df9383c3fa1e18a43a (diff) | |
#include directive
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 |