[MLton-commit] r5667

[Matthew Fluet]

File.temp returns an open file, which wasn't being closed; use File.tempName instead
----------------------------------------------------------------------

U   mlton/trunk/benchmark/main.sml

----------------------------------------------------------------------

Modified: mlton/trunk/benchmark/main.sml
===================================================================
--- mlton/trunk/benchmark/main.sml	2007-06-21 21:37:53 UTC (rev 5666)
+++ mlton/trunk/benchmark/main.sml	2007-06-22 23:56:45 UTC (rev 5667)
@@ -591,10 +591,10 @@
                           if true
                              then
                                 let
-                                   val (outTmpFile, _) =
-                                      File.temp {prefix = "tmp", suffix = "out"}
-                                   val (errTmpFile, _) =
-                                      File.temp {prefix = "tmp", suffix = "err"}
+                                   val outTmpFile =
+                                      File.tempName {prefix = "tmp", suffix = "out"}
+                                   val errTmpFile =
+                                      File.tempName {prefix = "tmp", suffix = "err"}
                                    val {compile, run, size} =
                                      ignoreOutput
                                      (fn () => test {bench = bench})