Add exception history reporting

diff --git a/src/main.sml b/src/main.sml
index 84e7fe3..b6b6d24 100644 (file)
--- 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 (file)
--- 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