--- a/src/Tools/Metis/src/PortablePolyml.sml Wed Sep 15 15:49:43 2010 +0200
+++ b/src/Tools/Metis/src/PortablePolyml.sml Wed Sep 15 16:16:33 2010 +0200
@@ -44,7 +44,7 @@
val {usr,sys} = Timer.checkCPUTimer c
val real = Timer.checkRealTimer r
in
- print
+ TextIO.print (* MODIFIED by Jasmin Blanchette *)
("User: " ^ p usr ^ " System: " ^ p sys ^
" Real: " ^ p real ^ "\n")
end
--- a/src/Tools/Metis/src/Stream.sml Wed Sep 15 15:49:43 2010 +0200
+++ b/src/Tools/Metis/src/Stream.sml Wed Sep 15 16:16:33 2010 +0200
@@ -6,6 +6,8 @@
structure Stream :> Stream =
struct
+open Useful; (* MODIFIED by Jasmin Blanchette *)
+
val K = Useful.K;
val pair = Useful.pair;
--- a/src/Tools/Metis/src/Useful.sig Wed Sep 15 15:49:43 2010 +0200
+++ b/src/Tools/Metis/src/Useful.sig Wed Sep 15 16:16:33 2010 +0200
@@ -22,6 +22,8 @@
(* Tracing. *)
(* ------------------------------------------------------------------------- *)
+val print : string -> unit (* MODIFIED by Jasmin Blanchette *)
+
val tracePrint : (string -> unit) ref
val trace : string -> unit
@@ -215,6 +217,10 @@
(* Strings. *)
(* ------------------------------------------------------------------------- *)
+val implode : char list -> string (* MODIFIED by Jasmin Blanchette *)
+
+val explode : string -> char list (* MODIFIED by Jasmin Blanchette *)
+
val rot : int -> char -> char
val charToInt : char -> int option
--- a/src/Tools/Metis/src/Useful.sml Wed Sep 15 15:49:43 2010 +0200
+++ b/src/Tools/Metis/src/Useful.sml Wed Sep 15 16:16:33 2010 +0200
@@ -50,6 +50,8 @@
(* Tracing. *)
(* ------------------------------------------------------------------------- *)
+val print = TextIO.print; (* MODIFIED by Jasmin Blanchette *)
+
val tracePrint = ref print;
fun trace mesg = !tracePrint mesg;
@@ -496,6 +498,10 @@
(* Strings. *)
(* ------------------------------------------------------------------------- *)
+val implode = String.implode (* MODIFIED by Jasmin Blanchette *)
+
+val explode = String.explode (* MODIFIED by Jasmin Blanchette *)
+
local
fun len l = (length l, l)