src/Pure/ML-Systems/smlnj.ML

 
 (*prompts*)
 fun ml_prompts p1 p2 =
   (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);
 
-(*dummy impelemtation*)
+(*dummy implementation*)
 fun profile (n: int) f x = f x;
 
-(*dummy impelemtation*)
+(*dummy implementation*)
 fun exception_trace f = f ();
 
 (case #version_id (Compiler.version) of
   [110, x] => if x >= 44
               then use "ML-Systems/smlnj-basis-compat.ML"

     if ! interrupted then raise Interrupt else release (! result)
   end;
 
 end;
 
+
 (** Signal handling: emulation of the Poly/ML Signal structure. Note that types
     Posix.Signal.signal and Signals.signal differ **)
 
 structure IsaSignal =
 struct