equal
deleted
inserted
replaced
19 struct |
19 struct |
20 open Substring; |
20 open Substring; |
21 val full = all; |
21 val full = all; |
22 end; |
22 end; |
23 |
23 |
24 structure Posix = |
|
25 struct |
|
26 open Posix; |
|
27 structure IO = |
|
28 struct |
|
29 open IO; |
|
30 val mkTextReader = mkReader; |
|
31 val mkTextWriter = mkWriter; |
|
32 end; |
|
33 end; |
|
34 |
|
35 structure TextIO = |
24 structure TextIO = |
36 struct |
25 struct |
37 open TextIO; |
26 open TextIO; |
38 fun inputLine is = |
27 fun inputLine is = |
39 let val s = TextIO.inputLine is |
28 let val s = TextIO.inputLine is |