fun regenerate context =
let
+ val _ = ErrorMsg.reset ()
+
val b = basis ()
+ val _ = if Env.lookupType b "string" then
+ print "Still got it\n"
+ else
+ print "Don't got it\n"
val () = Tycheck.disallowExterns ()
val () = Domain.resetGlobal ()
OpenSSL.close bio
handle OpenSSL.OpenSSL _ => ();
loop ())
+ | IO.Io {name, function, cause} =>
+ (print ("IO error: " ^ function ^ " for " ^ name ^ "\n");
+ app (fn x => print (x ^ "\n")) (SMLofNJ.exnHistory cause);
+ OpenSSL.close bio
+ handle OpenSSL.OpenSSL _ => ();
+ loop ())
| e =>
(print "Unknown exception in main loop!\n";
app (fn x => print (x ^ "\n")) (SMLofNJ.exnHistory e);