Change Posix.Process.exit to use the same underlying call as OS.Proce…

…ss.terminate. This avoids a hang in Test190.
polyml · Feb 27, 2020 · 6025c25 · 6025c25
1 parent 744d14f
commit 6025c25
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/basis/Posix.sml b/basis/Posix.sml
@@ -848,9 +848,11 @@ struct
 
         (* The definition of "exit" is obviously designed to allow
            OS.Process.exit to be defined in terms of it. In particular
-           it doesn't execute the functions registered with atExit. *)
+           it doesn't execute the functions registered with atExit.
+           This should use Terminate rather than Finish so that C atExit routines
+           aren't executed either. *)
         local
-            val doExit: Word8.word -> unit = RunCall.rtsCallFull1 "PolyFinish"
+            val doExit: Word8.word -> unit = RunCall.rtsCallFull1 "PolyTerminate"
         in
             fun exit w =
             (