Re: [Chicken-users] Another types.db correction

[Felix]

From: <address@hidden>
Subject: [Chicken-users] Another types.db correction
Date: Tue, 06 Sep 2011 00:01:51 -0700

> Here's another typed.db bug, where vector-resize is missing the optional 
> specifier (values to use to initialize the enlarged vector.)
> 
> I've been using this patch in the last several days:
> --- types.db~ 2011-08-31 09:21:34.000000000 -0700
> +++ types.db  2011-08-31 21:07:10.000000000 -0700
> @@ -1019,7 +1019,7 @@
>  (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))
> 

Thanks, applied.


cheers,
felix