diff src/compiler.sml @ 403:8084fa9216de

New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents ab3177746c78
children 777317e8b2ae
line wrap: on
line diff
--- a/src/compiler.sml	Tue Oct 21 15:11:42 2008 -0400
+++ b/src/compiler.sml	Tue Oct 21 16:41:11 2008 -0400
@@ -535,6 +535,10 @@
                 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