1.1 --- a/src/Pure/ML-Systems/mlworks.ML	Thu Feb 28 21:31:47 2002 +0100
     1.2 +++ b/src/Pure/ML-Systems/mlworks.ML	Thu Feb 28 21:32:46 2002 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4      let val max_stack = MLWorks.Internal.Runtime.Memory.max_stack_blocks
     1.5      in max_stack := (!max_stack * 3) div 2 + 5;
     1.6         print ("#### Increasing stack to " ^ Int.toString (64 * !max_stack) ^
     1.7 -	      "KB\n")
     1.8 +              "KB\n")
     1.9      end);
    1.10    MLWorks.Internal.Runtime.Memory.gc_message_level := 10;
    1.11    (*Is this of any use at all?*)
    1.12 @@ -91,14 +91,14 @@
    1.13  
    1.14  
    1.15  
    1.16 -(** interrupts **)	(*Note: may get into race conditions*)
    1.17 +(** interrupts **)      (*Note: may get into race conditions*)
    1.18  
    1.19  exception Interrupt;
    1.20  
    1.21  MLWorks.Internal.Runtime.Event.interrupt_handler (fn () => raise Interrupt);
    1.22  
    1.23 -fun mask_interrupt f x = f x;           
    1.24 -fun exhibit_interrupt f x = f x;
    1.25 +fun ignore_interrupt f x = f x;
    1.26 +fun raise_interrupt f x = f x;
    1.27  
    1.28  
    1.29  

     2.1 --- a/src/Pure/ML-Systems/mosml.ML	Thu Feb 28 21:31:47 2002 +0100
     2.2 +++ b/src/Pure/ML-Systems/mosml.ML	Thu Feb 28 21:32:46 2002 +0100
     2.3 @@ -98,8 +98,8 @@
     2.4  
     2.5  exception Interrupt;
     2.6  
     2.7 -fun mask_interrupt f x = f x;           
     2.8 -fun exhibit_interrupt f x = f x;
     2.9 +fun ignore_interrupt f x = f x;           
    2.10 +fun raise_interrupt f x = f x;
    2.11  
    2.12  
    2.13  

     3.1 --- a/src/Pure/ML-Systems/polyml-3.x.ML	Thu Feb 28 21:31:47 2002 +0100
     3.2 +++ b/src/Pure/ML-Systems/polyml-3.x.ML	Thu Feb 28 21:32:46 2002 +0100
     3.3 @@ -84,8 +84,8 @@
     3.4  
     3.5  (** interrupts **)      (*Note: may get into race conditions*)
     3.6  
     3.7 -fun mask_interrupt f x = f x;
     3.8 -fun exhibit_interrupt f x = f x;
     3.9 +fun ignore_interrupt f x = f x;
    3.10 +fun raise_interrupt f x = f x;
    3.11  
    3.12  
    3.13  

     4.1 --- a/src/Pure/ML-Systems/smlnj-0.93.ML	Thu Feb 28 21:31:47 2002 +0100
     4.2 +++ b/src/Pure/ML-Systems/smlnj-0.93.ML	Thu Feb 28 21:32:46 2002 +0100
     4.3 @@ -96,6 +96,8 @@
     4.4  
     4.5  (** interrupts **)
     4.6  
     4.7 +exception Interrupt;
     4.8 +
     4.9  local
    4.10  
    4.11  datatype 'a result =
    4.12 @@ -125,18 +127,9 @@
    4.13  
    4.14  in
    4.15  
    4.16 +fun ignore_interrupt f = change_mask (not o interruptible) mask_signals unmask_signals f;
    4.17  
    4.18 -(* mask / unmask interrupt *)
    4.19 -
    4.20 -fun mask_interrupt f = change_mask (not o interruptible) mask_signals unmask_signals f;
    4.21 -fun unmask_interrupt f = change_mask interruptible unmask_signals mask_signals f;
    4.22 -
    4.23 -
    4.24 -(* exhibit interrupt (via exception) *)
    4.25 -
    4.26 -exception Interrupt;
    4.27 -
    4.28 -fun exhibit_interrupt f x =
    4.29 +fun raise_interrupt f x =
    4.30    let
    4.31      val orig_handler = System.Signals.inqHandler sig_int;
    4.32      fun reset_handler () = (System.Signals.setHandler (sig_int, orig_handler); ());