src/Pure/ML-Systems/multithreading_polyml.ML
changeset 30612 cb6421b6a18f
parent 30602 1bd90b76477a
child 31311 b82e55f51dcc
     1.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML	Fri Mar 20 20:05:51 2009 +0100
     1.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Fri Mar 20 20:20:09 2009 +0100
     1.3 @@ -69,6 +69,9 @@
     1.4  val regular_interrupts =
     1.5    [Thread.EnableBroadcastInterrupt true, Thread.InterruptState Thread.InterruptAsynchOnce];
     1.6  
     1.7 +val restricted_interrupts =
     1.8 +  [Thread.EnableBroadcastInterrupt false, Thread.InterruptState Thread.InterruptAsynchOnce];
     1.9 +
    1.10  val safe_interrupts = map
    1.11    (fn Thread.InterruptState Thread.InterruptAsynch =>
    1.12        Thread.InterruptState Thread.InterruptAsynchOnce