From e99a8dc48ede26696be2ba75a8cb0d5122d94598 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 11 Apr 2025 21:54:16 +0200 Subject: #include directive --- exn_handler.fun | 1 + 1 file changed, 1 insertion(+) (limited to 'exn_handler.fun') 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 -- cgit v1.2.3