Report which file doesn't get deleted on Windows.

diff --git a/basis/io/directories/windows/windows.factor b/basis/io/directories/windows/windows.factor
index 3a69dbfedbddcd32fa903ddba1cc67ad01a0672c..b889f435e41addb3dcd22916299b7970f85f1a08 100644 (file)
--- a/basis/io/directories/windows/windows.factor
+++ b/basis/io/directories/windows/windows.factor
@@ -17,8 +17,11 @@ M: windows touch-file ( path -- )
 M: windows move-file ( from to -- )
     [ normalize-path ] bi@ MoveFile win32-error=0/f ;
 
+ERROR: file-delete-failed path error ;
+
 M: windows delete-file ( path -- )
-    normalize-path DeleteFile win32-error=0/f ;
+    [ normalize-path DeleteFile win32-error=0/f ]
+    [ \ file-delete-failed boa rethrow ] recover ;
 
 M: windows copy-file ( from to -- )
     dup parent-directory make-directories