~ chicken-core (chicken-5) 18fec778f8b36a364893deaf8ca96be66f8a36d8

commit 18fec778f8b36a364893deaf8ca96be66f8a36d8
Author:     Peter Bex <peter.bex@xs4all.nl>
AuthorDate: Tue Jan 21 16:06:04 2014 +0100
Commit:     Evan Hanson <evhan@foldling.org>
CommitDate: Wed Jan 22 07:42:27 2014 +1300

    Make type declaration for vector-resize more precise and correct when initialisation type differs from the type of the vector's contents
    
    Signed-off-by: Evan Hanson <evhan@foldling.org>

diff --git a/types.db b/types.db
index f1d87a3f..2fabc94b 100644
--- a/types.db
+++ b/types.db
@@ -1088,8 +1088,8 @@
 (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-of a) fixnum #!optional *) 
-	      (vector-of a))))
+ (forall (a b) (#(procedure #:clean #:enforce) vector-resize ((vector-of a) fixnum #!optional b)
+	       (vector-of (or a b)))))
 (void (#(procedure #:pure) void (#!rest) undefined))
 (##sys#void (#(procedure #:pure) void (#!rest) undefined))
 (warning (procedure warning (* #!rest) undefined))