equal
deleted
inserted
replaced
2 |
2 |
3 Compatibility file for Standard ML of New Jersey 110 or later. |
3 Compatibility file for Standard ML of New Jersey 110 or later. |
4 *) |
4 *) |
5 |
5 |
6 exception Interrupt; |
6 exception Interrupt; |
|
7 fun reraise exn = raise exn; |
7 |
8 |
8 use "ML-Systems/proper_int.ML"; |
9 use "ML-Systems/proper_int.ML"; |
9 use "ML-Systems/overloading_smlnj.ML"; |
10 use "ML-Systems/overloading_smlnj.ML"; |
10 use "ML-Systems/exn.ML"; |
11 use "ML-Systems/exn.ML"; |
11 use "ML-Systems/universal.ML"; |
12 use "ML-Systems/universal.ML"; |