diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-27 14:46:47 +0100 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-27 14:46:47 +0100 |
| commit | 11e14dd4b93154964c87fc97cfcee62c52edf97a (patch) | |
| tree | 6c46e8ecb85cb4266e5a3f1b6029428ac2ca2aed /exn_handler.sml | |
| parent | 90854ccf3514dc67a30556500e1716dd1933954c (diff) | |
Number constant parser
Diffstat (limited to 'exn_handler.sml')
| -rw-r--r-- | exn_handler.sml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/exn_handler.sml b/exn_handler.sml index 32ad20b..52a2c5c 100644 --- a/exn_handler.sml +++ b/exn_handler.sml @@ -18,11 +18,10 @@ structure GlobalExnHandler: sig val handler: exn -> unit end = struct fun ioExn (IO.Io { name, function = _, cause }) = let - open OS val prefix = name ^ ": " val reason = case cause of - SysErr (str, _) => str + OS.SysErr (str, _) => str | _ => exnMessage cause in printLn $ prefix ^ reason |