summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-02-10 09:58:20 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-02-10 09:58:20 -0500
commitbcc8158595c16afd34ad043fd4d9b80c4c4a1c3d (patch)
tree267fe3e151ec6131534130f450357ff376002982
parent9d277854b9a4fb3ac30bea989c10d7f550e960b4 (diff)
Fix resolution of 'file' paths
-rw-r--r--src/compiler.sml3
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"})