| changeset 26084 | a7475459c740 |
| parent 25732 | 308315ee2b6d |
| child 26220 | d34b68c21f9a |
--- a/src/Pure/ML-Systems/mosml.ML Sat Feb 16 16:44:02 2008 +0100 +++ b/src/Pure/ML-Systems/mosml.ML Sat Feb 16 16:44:02 2008 +0100 @@ -171,8 +171,8 @@ exception Interrupt; -fun ignore_interrupt f x = f x; -fun raise_interrupt f x = f x; +fun interruptible f x = f x; +fun uninterruptible f x = f (fn (g: 'c -> 'd) => g) x;