Mercurial > urweb
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 () |