~ chicken-core (chicken-5) 380b6cbe7ae56add43eee9bae73a8c6b677bf097

commit 380b6cbe7ae56add43eee9bae73a8c6b677bf097
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Sat Mar 10 12:55:22 2012 +0100
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sat Mar 10 12:55:22 2012 +0100

    fix for delete-directory in types.db (thanks to Evan Hanson)

diff --git a/types.db b/types.db
index e114ecea..2db80152 100644
--- a/types.db
+++ b/types.db
@@ -1556,7 +1556,7 @@
 (current-process-id (#(procedure #:clean) current-process-id () fixnum))
 (current-user-id (#(procedure #:clean) current-user-id () fixnum))
 (current-user-name (#(procedure #:clean) current-user-name () string))
-(delete-directory (#(procedure #:clean #:enforce) delete-directory (string) string))
+(delete-directory (#(procedure #:clean #:enforce) delete-directory (string #!optional *) string))
 (directory (#(procedure #:clean #:enforce) directory (#!optional string *) (list-of string)))
 (directory? (#(procedure #:clean #:enforce) directory? ((or string fixnum)) boolean))
 (duplicate-fileno (#(procedure #:clean #:enforce) duplicate-fileno (fixnum #!optional fixnum) fixnum))