src/Pure/ML-Systems/smlnj.ML
changeset 56627 cb912b7de3cf
parent 56435 28b34e8e4a80
child 59055 5a7157b8e870
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Mon Apr 21 21:16:05 2014 +0200
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Tue Apr 22 11:47:57 2014 +0200
     1.3 @@ -9,6 +9,9 @@
     1.4  exception Interrupt;
     1.5  fun reraise exn = raise exn;
     1.6  
     1.7 +fun exit rc = Posix.Process.exit (Word8.fromInt rc);
     1.8 +fun quit () = exit 0;
     1.9 +
    1.10  use "ML-Systems/overloading_smlnj.ML";
    1.11  use "General/exn.ML";
    1.12  use "ML-Systems/single_assignment.ML";
    1.13 @@ -50,9 +53,6 @@
    1.14  
    1.15  (* Poly/ML emulation *)
    1.16  
    1.17 -val exit = exit o dest_int;
    1.18 -fun quit () = exit 0;
    1.19 -
    1.20  (*limit the printing depth -- divided by 2 for comparibility with Poly/ML*)
    1.21  local
    1.22    val depth = ref (10: int);