src/Pure/ML-Systems/smlnj.ML
changeset 39232 69c6d3e87660
parent 38635 f76ad0771f67
child 39233 9a0c67d4517a
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Thu Sep 09 11:05:52 2010 +0200
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Thu Sep 09 17:20:27 2010 +0200
     1.3 @@ -142,7 +142,7 @@
     1.4  
     1.5  fun interruptible (f: 'a -> 'b) x =
     1.6    let
     1.7 -    val result = ref (Exn.Exn Interrupt: 'b Exn.result);
     1.8 +    val result = ref (Exn.interrupt_exn: 'b Exn.result);
     1.9      val old_handler = Signals.inqHandler Signals.sigINT;
    1.10    in
    1.11      SMLofNJ.Cont.callcc (fn cont =>
    1.12 @@ -165,7 +165,7 @@
    1.13  struct
    1.14    open TextIO;
    1.15    fun inputLine is = TextIO.inputLine is
    1.16 -    handle IO.Io _ => raise Interrupt;
    1.17 +    handle IO.Io _ => Exn.interrupt ();
    1.18  end;
    1.19  
    1.20