diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 16:41:11 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 16:41:11 -0400 |
commit | 1a5acb4732536e4be288895eb89d139b19aebc94 (patch) | |
tree | e4856ac916556022e401a21e2ff722af1b472aa1 /src/compiler.sml | |
parent | a3418cf924752accf2f68fc2673da2a661276ae5 (diff) |
New implicit argument handling
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 43e361f0..2ddcfb4d 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -535,6 +535,10 @@ fun compile job = else let val dir = OS.FileSys.tmpName () + val () = if OS.FileSys.access (dir, []) then + OS.FileSys.remove dir + else + () val cname = OS.Path.joinDirFile {dir = dir, file = "urweb.c"} val oname = OS.Path.joinDirFile {dir = dir, file = "urweb.o"} in |