>From e0eff8d16466a42f4e16cbfa9f0471561fcfe6c1 Mon Sep 17 00:00:00 2001 From: Peter Bex Date: Tue, 21 Jan 2014 16:06:04 +0100 Subject: [PATCH] Make type declaration for vector-resize more precise and correct when initialisation type differs from the type of the vector's contents --- types.db | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/types.db b/types.db index f1d87a3..2fabc94 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)) -- 1.7.10.4