# HG changeset patch
# User wenzelm
# Date 1120489635 -7200
# Node ID d54dfd724b3552a930b42a2a12442597aae16286
# Parent  34612070899858197c03c904e1831f5e48cb290d
dummy exception_trace;

diff -r 346120708998 -r d54dfd724b35 src/Pure/ML-Systems/mosml.ML
--- a/src/Pure/ML-Systems/mosml.ML	Mon Jul 04 17:07:14 2005 +0200
+++ b/src/Pure/ML-Systems/mosml.ML	Mon Jul 04 17:07:15 2005 +0200
@@ -68,11 +68,14 @@
 fun make_pp path pprint = ();
 fun install_pp _ = ();
 
-(*profiling -- dummy implementation*)
+(*dummy implementation*)
+fun ml_prompts p1 p2 = ();
+
+(*dummy implementation*)
 fun profile (n: int) f x = f x;
 
-(*prompts -- dummy impelemtation*)
-fun ml_prompts p1 p2 = ();
+(*dummy impelemtation*)
+fun exception_trace f = f ();
 
 
 (** Compiler-independent timing functions **)
diff -r 346120708998 -r d54dfd724b35 src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Mon Jul 04 17:07:14 2005 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Mon Jul 04 17:07:15 2005 +0200
@@ -59,13 +59,15 @@
 | _ => use "ML-Systems/cpu-timer-gc.ML");
 
 
-(*profiling -- dummy implementation*)
-fun profile (n: int) f x = f x;
-
 (*prompts*)
 fun ml_prompts p1 p2 =
   (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);
 
+(*dummy impelemtation*)
+fun profile (n: int) f x = f x;
+
+(*dummy impelemtation*)
+fun exception_trace f = f ();
 
 (case #version_id (Compiler.version) of
   [110, x] => if x >= 44
@@ -73,6 +75,7 @@
               else ()
 | _ => ());
 
+
 (* toplevel pretty printing (see also Pure/install_pp.ML) *)
 
 (case #version_id (Compiler.version) of