added enabled;
authorwenzelm
Thu Oct 09 20:53:23 2008 +0200 (2008-10-09)
changeset 28554a6065ce44984
parent 28553 675270d2d304
child 28555 d59712ee942c
added enabled;
src/Pure/ML-Systems/multithreading.ML
     1.1 --- a/src/Pure/ML-Systems/multithreading.ML	Thu Oct 09 20:53:22 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/multithreading.ML	Thu Oct 09 20:53:23 2008 +0200
     1.3 @@ -19,6 +19,7 @@
     1.4    val available: bool
     1.5    val max_threads: int ref
     1.6    val max_threads_value: unit -> int
     1.7 +  val enabled: unit -> bool
     1.8    val no_interrupts: Thread.threadAttribute list
     1.9    val regular_interrupts: Thread.threadAttribute list
    1.10    val with_attributes: Thread.threadAttribute list ->
    1.11 @@ -38,6 +39,7 @@
    1.12  val available = false;
    1.13  val max_threads = ref (1: int);
    1.14  fun max_threads_value () = 1: int;
    1.15 +fun enabled () = false;
    1.16  
    1.17  val no_interrupts =
    1.18    [Thread.EnableBroadcastInterrupt false, Thread.InterruptState Thread.InterruptDefer];