HCoop
/
bpt
/
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+
[bpt/mlt.git]
/
src
/
compiler.sml
diff --git
a/src/compiler.sml
b/src/compiler.sml
index
6e31f5a
..
aa4db33
100644
(file)
--- a/
src/compiler.sml
+++ b/
src/compiler.sml
@@
-112,8
+112,8
@@
struct
fun loop (smls, mlts) =
(case Posix.FileSys.readdir dir of
fun loop (smls, mlts) =
(case Posix.FileSys.readdir dir of
-
""
=> (smls, mlts)
- | fname =>
+
NONE
=> (smls, mlts)
+ |
SOME
fname =>
(case getExt fname of
"mlt" => loop (smls, (path ^ "/" ^ fname) :: mlts)
| ("sml"|"sig") =>
(case getExt fname of
"mlt" => loop (smls, (path ^ "/" ^ fname) :: mlts)
| ("sml"|"sig") =>