From 95a9abd13a15eeb97c4bc925b74bc24b0612d244 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 9 Apr 2007 23:18:51 +0000 Subject: [PATCH] Add exception history reporting --- src/main.sml | 5 +++-- src/prefix.mlb | 1 + 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/main.sml b/src/main.sml index 84e7fe3..b6b6d24 100644 --- a/src/main.sml +++ b/src/main.sml @@ -1324,8 +1324,9 @@ fun slave () = OpenSSL.close bio handle OpenSSL.OpenSSL _ => (); loop ()) - | OS.SysErr (s, _) => - (print ("System error: "^ s ^ "\n"); + | e as OS.SysErr (s, _) => + (app (fn s => print (s ^ "\n")) (SMLofNJ.exnHistory e); + print ("System error: "^ s ^ "\n"); OpenSSL.close bio handle OpenSSL.OpenSSL _ => (); loop ()) diff --git a/src/prefix.mlb b/src/prefix.mlb index e95c596..026d357 100644 --- a/src/prefix.mlb +++ b/src/prefix.mlb @@ -1,5 +1,6 @@ $(SML_LIB)/basis/basis.mlb $(SML_LIB)/basis/unsafe.mlb +$(SML_LIB)/basis/sml-nj.mlb $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb $(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb $(SML_LIB)/smlnj-lib/HTML/html-lib.mlb -- 2.20.1