diff options
| author |  Jacob Mitchell <jmitchell@member.fsf.org> | 2016-09-07 13:19:13 -0700 |
|---|---|---|
| committer | Jacob Mitchell <jmitchell@member.fsf.org> | 2016-09-07 13:19:13 -0700 |
| commit | 51ac19f565fa935eec6d9dd1f7119c6227383a3c (patch) | |
| tree | 9539e4a61dd38f2e65d78a5805b3eadef26cfebf /src/compiler.sml | |
| parent | c49ad46cc190e63f2395fcef03deff4386845877 (diff) | |
HTTP Last-Modified: latest modtime of source files
See issue #38.
Diffstat (limited to 'src/compiler.sml')
| -rw-r--r-- | src/compiler.sml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index dccda06d..87d175ed 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -212,7 +212,7 @@ val parseUrs = val fname = OS.FileSys.tmpName () val outf = TextIO.openOut fname val () = TextIO.output (outf, "sig\n") - val inf = TextIO.openIn filename + val inf = FileIO.txtOpenIn filename fun loop () = case TextIO.inputLine inf of NONE => () @@ -225,7 +225,7 @@ val parseUrs = val () = (ErrorMsg.resetErrors (); ErrorMsg.resetPositioning filename; Lex.UserDeclarations.initialize ()) - val file = TextIO.openIn fname + val file = FileIO.txtOpenIn fname fun get _ = TextIO.input file fun parseerror (s, p1, p2) = ErrorMsg.errorAt' (p1, p2) s val lexer = LrParser.Stream.streamify (Lex.makeLexer get) @@ -251,7 +251,7 @@ val parseUr = { val () = (ErrorMsg.resetErrors (); ErrorMsg.resetPositioning filename; Lex.UserDeclarations.initialize ()) - val file = TextIO.openIn filename + val file = FileIO.txtOpenIn filename fun get _ = TextIO.input file fun parseerror (s, p1, p2) = ErrorMsg.errorAt' (p1, p2) s val lexer = LrParser.Stream.streamify (Lex.makeLexer get) @@ -478,7 +478,7 @@ fun parseUrp' accLibs fname = val thisPath = OS.Path.dir filename val dir = OS.Path.dir filename - fun opener () = TextIO.openIn (OS.Path.joinBaseExt {base = filename, ext = SOME "urp"}) + fun opener () = FileIO.txtOpenIn (OS.Path.joinBaseExt {base = filename, ext = SOME "urp"}) val inf = opener () |