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"})