From bcc8158595c16afd34ad043fd4d9b80c4c4a1c3d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Feb 2015 09:58:20 -0500 Subject: Fix resolution of 'file' paths --- src/compiler.sml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/compiler.sml') 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"}) -- cgit v1.2.3