src/Pure/ML-Systems/mosml.ML

 load "OS";
 load "Process";
 load "FileSys";
 load "IO";
 
+exception Interrupt;
+
 use "ML-Systems/exn.ML";
 use "ML-Systems/universal.ML";
 use "ML-Systems/multithreading.ML";
 use "ML-Systems/time_limit.ML";
 use "ML-Systems/ml_name_space.ML";

 
 (** interrupts **)      (*Note: may get into race conditions*)
 
 (* FIXME proper implementation available? *)
 
-exception Interrupt;
-
 fun interruptible f x = f x;
 fun uninterruptible f x = f (fn (g: 'c -> 'd) => g) x;