src/Pure/ML-Systems/smlnj.ML
changeset 17511 51314f4bd01d
parent 16681 d54dfd724b35
child 17529 a436d89845af
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Tue Sep 20 14:03:39 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Tue Sep 20 14:03:40 2005 +0200
     1.3 @@ -63,10 +63,10 @@
     1.4  fun ml_prompts p1 p2 =
     1.5    (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);
     1.6  
     1.7 -(*dummy impelemtation*)
     1.8 +(*dummy implementation*)
     1.9  fun profile (n: int) f x = f x;
    1.10  
    1.11 -(*dummy impelemtation*)
    1.12 +(*dummy implementation*)
    1.13  fun exception_trace f = f ();
    1.14  
    1.15  (case #version_id (Compiler.version) of
    1.16 @@ -143,6 +143,7 @@
    1.17  
    1.18  end;
    1.19  
    1.20 +
    1.21  (** Signal handling: emulation of the Poly/ML Signal structure. Note that types
    1.22      Posix.Signal.signal and Signals.signal differ **)
    1.23