added profiler interface (dummy);
authorwenzelm
Fri Jul 01 14:42:04 2005 +0200 (2005-07-01)
changeset 1666076613dff2c9a
parent 16659 1cf39eba29fe
child 16661 507438b27f66
added profiler interface (dummy);
src/Pure/ML-Systems/mosml.ML
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/src/Pure/ML-Systems/mosml.ML	Fri Jul 01 14:42:03 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/mosml.ML	Fri Jul 01 14:42:04 2005 +0200
     1.3 @@ -68,8 +68,10 @@
     1.4  fun make_pp path pprint = ();
     1.5  fun install_pp _ = ();
     1.6  
     1.7 -(*prompts*)
     1.8 -(*n.a.??*)
     1.9 +(*profiling -- dummy implementation*)
    1.10 +fun profile (n: int) f x = f x;
    1.11 +
    1.12 +(*prompts -- dummy impelemtation*)
    1.13  fun ml_prompts p1 p2 = ();
    1.14  
    1.15  
     2.1 --- a/src/Pure/ML-Systems/smlnj.ML	Fri Jul 01 14:42:03 2005 +0200
     2.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Fri Jul 01 14:42:04 2005 +0200
     2.3 @@ -59,8 +59,10 @@
     2.4  | _ => use "ML-Systems/cpu-timer-gc.ML");
     2.5  
     2.6  
     2.7 -(* prompts *)
     2.8 +(*profiling -- dummy implementation*)
     2.9 +fun profile (n: int) f x = f x;
    2.10  
    2.11 +(*prompts*)
    2.12  fun ml_prompts p1 p2 =
    2.13    (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);
    2.14