author | wenzelm |
Wed, 13 Jul 2005 16:07:35 +0200 | |
changeset 16813 | 67140ae50e77 |
parent 14656 | 765badface6a |
child 17514 | 1d7771a659f6 |
permissions | -rw-r--r-- |
14519
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
1 |
(* Title: Pure/ML-Systems/smlnj-basis-compat.ML |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
2 |
ID: $Id$ |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
3 |
Author: Sebastian Skalberg (TU Muenchen) |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
4 |
|
14656 | 5 |
Compatibility file for Standard ML of New Jersey 110.44 or later. Here |
14519
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
6 |
signatures that have changed to adhere to the SML Basis Library are |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
7 |
changed back to their old values. So much for standards... |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
8 |
*) |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
9 |
|
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
10 |
structure TextIO = |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
11 |
struct |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
12 |
open TextIO |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
13 |
fun inputLine is = |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
14 |
case TextIO.inputLine is of |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
15 |
SOME str => str |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
16 |
| NONE => "" |
4ca3608fdf4f
Added support for the newer versions of SML/NJ, which break several of the
skalberg
parents:
diff
changeset
|
17 |
end; |