~ chicken-core (chicken-5) c4553054173bf7ebf08267d3daf1623e147fb9d9

commit c4553054173bf7ebf08267d3daf1623e147fb9d9
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Tue Sep 6 11:25:56 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Tue Sep 6 11:25:56 2011 +0200

    types.db fix for vector-resize (thanks to Jules)

diff --git a/types.db b/types.db
index d01dfdb5..a131e340 100644
--- a/types.db
+++ b/types.db
@@ -1019,7 +1019,9 @@
 (syntax-error (procedure syntax-error (* #!rest) noreturn))
 (system (#(procedure #:clean #:enforce) system (string) fixnum))
 (unregister-feature! (#(procedure #:clean #:enforce) unregister-feature! (#!rest symbol) undefined))
-(vector-resize (forall (a) (#(procedure #:clean #:enforce) vector-resize ((vector a) fixnum) (vector a))))
+(vector-resize
+ (forall (a) (#(procedure #:clean #:enforce) vector-resize ((vector a) fixnum #!optional *) 
+	      (vector a))))
 (void (#(procedure #:pure) void (#!rest) undefined))
 (##sys#void (#(procedure #:pure) void (#!rest) undefined))
 (warning (procedure warning (* #!rest) undefined))