dummy exception_trace;
authorwenzelm
Mon Jul 04 17:07:15 2005 +0200 (2005-07-04)
changeset 16681d54dfd724b35
parent 16680 346120708998
child 16682 154a84e1a4f7
dummy exception_trace;
src/Pure/ML-Systems/mosml.ML
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/src/Pure/ML-Systems/mosml.ML	Mon Jul 04 17:07:14 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/mosml.ML	Mon Jul 04 17:07:15 2005 +0200
     1.3 @@ -68,11 +68,14 @@
     1.4  fun make_pp path pprint = ();
     1.5  fun install_pp _ = ();
     1.6  
     1.7 -(*profiling -- dummy implementation*)
     1.8 +(*dummy implementation*)
     1.9 +fun ml_prompts p1 p2 = ();
    1.10 +
    1.11 +(*dummy implementation*)
    1.12  fun profile (n: int) f x = f x;
    1.13  
    1.14 -(*prompts -- dummy impelemtation*)
    1.15 -fun ml_prompts p1 p2 = ();
    1.16 +(*dummy impelemtation*)
    1.17 +fun exception_trace f = f ();
    1.18  
    1.19  
    1.20  (** Compiler-independent timing functions **)
     2.1 --- a/src/Pure/ML-Systems/smlnj.ML	Mon Jul 04 17:07:14 2005 +0200
     2.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Mon Jul 04 17:07:15 2005 +0200
     2.3 @@ -59,13 +59,15 @@
     2.4  | _ => use "ML-Systems/cpu-timer-gc.ML");
     2.5  
     2.6  
     2.7 -(*profiling -- dummy implementation*)
     2.8 -fun profile (n: int) f x = f x;
     2.9 -
    2.10  (*prompts*)
    2.11  fun ml_prompts p1 p2 =
    2.12    (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);
    2.13  
    2.14 +(*dummy impelemtation*)
    2.15 +fun profile (n: int) f x = f x;
    2.16 +
    2.17 +(*dummy impelemtation*)
    2.18 +fun exception_trace f = f ();
    2.19  
    2.20  (case #version_id (Compiler.version) of
    2.21    [110, x] => if x >= 44
    2.22 @@ -73,6 +75,7 @@
    2.23                else ()
    2.24  | _ => ());
    2.25  
    2.26 +
    2.27  (* toplevel pretty printing (see also Pure/install_pp.ML) *)
    2.28  
    2.29  (case #version_id (Compiler.version) of