--- a/src/Tools/Metis/metis.ML Wed Sep 15 18:52:37 2010 +0200
+++ b/src/Tools/Metis/metis.ML Wed Sep 15 19:22:34 2010 +0200
@@ -29,8 +29,6 @@
signature Metis_Random =
sig
- val CRITICAL: (unit -> 'a) -> 'a (* MODIFIED by Jasmin Blanchette *)
-
val nextWord : unit -> word
val nextBool : unit -> bool
@@ -54,9 +52,6 @@
structure Metis_Random :> Metis_Random =
struct
-(* MODIFIED by Jasmin Blanchette *)
-fun CRITICAL e = NAMED_CRITICAL "metis" e;
-
(* random words: 0w0 <= result <= max_word *)
(*minimum length of unboxed words on all supported ML platforms*)
@@ -124,6 +119,13 @@
val time : ('a -> 'b) -> 'a -> 'b
(* ------------------------------------------------------------------------- *)
+(* Critical section markup (multiprocessing) *)
+(* ------------------------------------------------------------------------- *)
+
+(* MODIFIED by Jasmin Blanchette *)
+val CRITICAL: (unit -> 'a) -> 'a
+
+(* ------------------------------------------------------------------------- *)
(* Generating random values. *)
(* ------------------------------------------------------------------------- *)
@@ -197,6 +199,13 @@
y
end;
+(* ------------------------------------------------------------------------- *)
+(* Critical section markup (multiprocessing) *)
+(* ------------------------------------------------------------------------- *)
+
+(* MODIFIED by Jasmin Blanchette *)
+fun CRITICAL e = NAMED_CRITICAL "metis" e;
+
(* ------------------------------------------------------------------------- *)
(* Generating random values. *)