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 | bcc8158595c16afd34ad043fd4d9b80c4c4a1c3d (patch) | |
tree | 267fe3e151ec6131534130f450357ff376002982 | |
parent | 9d277854b9a4fb3ac30bea989c10d7f550e960b4 (diff) |
Fix resolution of 'file' paths
-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"}) |