summaryrefslogtreecommitdiff
path: root/src
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
commit6012bdcdefdca7b938a8d7669d8240ec6cf3c914 (patch)
tree267fe3e151ec6131534130f450357ff376002982 /src
parentd7e343ce4dbd94cc4fbf9ac663019acdac27d671 (diff)
Fix resolution of 'file' paths
Diffstat (limited to 'src')
-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"})