src/Pure/ML-Systems/mlworks.ML

     OS.FileSys.remove tmp_name
   end;
 
 
 
+(** interrupts **)	(*Note: may get into race conditions*)
+
+exception Interrupt;
+
+MLWorks.Internal.Runtime.Event.interrupt_handler (fn () => raise Interrupt);
+
+fun mask_interrupt f x = f x;           
+fun unmask_interrupt f x = f x;
+fun exhibit_interrupt f x = f x;
+
+
+
 (** OS related **)
 
 (* system command execution *)
 
 (*execute Unix command which doesn't take any input from stdin and