HCoop
/
hcoop
/
mlt.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Updated for SML/NJ 110.46+
[hcoop/mlt.git]
/
src
/
common.sml
diff --git
a/src/common.sml
b/src/common.sml
index
b9e8920
..
0180b78
100644
(file)
--- a/
src/common.sml
+++ b/
src/common.sml
@@
-107,8
+107,8
@@
struct
fun copy () =
(case TextIO.inputLine inf of
fun copy () =
(case TextIO.inputLine inf of
-
""
=> ()
- | line => (TextIO.output (outf, line);
+
NONE
=> ()
+ |
SOME
line => (TextIO.output (outf, line);
copy ()))
in
copy ();
copy ()))
in
copy ();
@@
-129,8
+129,8
@@
struct
val inf = TextIO.openIn fname
fun read acc =
(case TextIO.inputLine inf of
val inf = TextIO.openIn fname
fun read acc =
(case TextIO.inputLine inf of
-
""
=> String.concat (rev acc)
- | line => read (line::acc))
+
NONE
=> String.concat (rev acc)
+ |
SOME
line => read (line::acc))
in
read []
before TextIO.closeIn inf
in
read []
before TextIO.closeIn inf