comparison src/compiler.sml @ 2113:c15f35e507b5

Fix resolution of 'file' paths
author Adam Chlipala <adam@chlipala.net>
date Tue, 10 Feb 2015 09:58:20 -0500
parents 6b7749da1ddc
children 8c81cd351c1a e10881cd92da
comparison
equal deleted inserted replaced
2111:809bceab15a3 2113:c15f35e507b5
459 institutionalizeJob job; 459 institutionalizeJob job;
460 {Job = job, Libs = []} 460 {Job = job, Libs = []}
461 end 461 end
462 else 462 else
463 let 463 let
464 val thisPath = OS.Path.dir fname
465
466 val pathmap = ref (!pathmap) 464 val pathmap = ref (!pathmap)
467 val bigLibs = ref [] 465 val bigLibs = ref []
468 466
469 fun pu filename = 467 fun pu filename =
470 let 468 let
471 val filename = OS.Path.mkAbsolute {path = filename, relativeTo = OS.FileSys.getDir ()} 469 val filename = OS.Path.mkAbsolute {path = filename, relativeTo = OS.FileSys.getDir ()}
470 val thisPath = OS.Path.dir filename
472 471
473 val dir = OS.Path.dir filename 472 val dir = OS.Path.dir filename
474 fun opener () = TextIO.openIn (OS.Path.joinBaseExt {base = filename, ext = SOME "urp"}) 473 fun opener () = TextIO.openIn (OS.Path.joinBaseExt {base = filename, ext = SOME "urp"})
475 474
476 val inf = opener () 475 val inf = opener ()