Mercurial > urweb
comparison src/compiler.sml @ 473:04b91c33ef54
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 08 Nov 2008 10:33:58 -0500 |
| parents | 360cbc202756 |
| children | 9117a7bf229c |
comparison
equal
deleted
inserted
replaced
| 472:0f128cbc2758 | 473:04b91c33ef54 |
|---|---|
| 565 in | 565 in |
| 566 OS.FileSys.mkDir dir; | 566 OS.FileSys.mkDir dir; |
| 567 (cname, oname, | 567 (cname, oname, |
| 568 fn () => (OS.FileSys.remove cname; | 568 fn () => (OS.FileSys.remove cname; |
| 569 OS.FileSys.remove oname; | 569 OS.FileSys.remove oname; |
| 570 OS.FileSys.rmDir dir)) | 570 OS.FileSys.rmDir dir) |
| 571 handle OS.SysErr _ => OS.FileSys.rmDir dir) | |
| 571 end | 572 end |
| 572 val ename = #exe job | 573 val ename = #exe job |
| 573 in | 574 in |
| 574 let | 575 let |
| 575 val outf = TextIO.openOut cname | 576 val outf = TextIO.openOut cname |