diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-02-10 09:58:20 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-02-10 09:58:20 -0500 |
commit | 6012bdcdefdca7b938a8d7669d8240ec6cf3c914 (patch) | |
tree | 267fe3e151ec6131534130f450357ff376002982 /src | |
parent | d7e343ce4dbd94cc4fbf9ac663019acdac27d671 (diff) |
Fix resolution of 'file' paths
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler.sml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 49b251ba..388cc7d2 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -461,14 +461,13 @@ fun parseUrp' accLibs fname = 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"}) |