# HG changeset patch # User Adam Chlipala # Date 1423580300 18000 # Node ID c15f35e507b55cda02a412457cdad18083a4fa9d # Parent 809bceab15a337d913288d076db4a55de6f75f26 Fix resolution of 'file' paths diff -r 809bceab15a3 -r c15f35e507b5 src/compiler.sml --- 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"})