Mercurial > urweb
changeset 2113:c15f35e507b5
Fix resolution of 'file' paths
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 10 Feb 2015 09:58:20 -0500 |
parents | 809bceab15a3 |
children | dca8d91b4170 |
files | src/compiler.sml |
diffstat | 1 files changed, 1 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/src/compiler.sml Sun Feb 01 15:50:54 2015 -0500 +++ b/src/compiler.sml Tue Feb 10 09:58:20 2015 -0500 @@ -461,14 +461,13 @@ end else let - val thisPath = OS.Path.dir fname - val pathmap = ref (!pathmap) val bigLibs = ref [] fun pu filename = let val filename = OS.Path.mkAbsolute {path = filename, relativeTo = OS.FileSys.getDir ()} + val thisPath = OS.Path.dir filename val dir = OS.Path.dir filename fun opener () = TextIO.openIn (OS.Path.joinBaseExt {base = filename, ext = SOME "urp"})