[Chicken-users] Another types.db correction

[chick0]

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))

Trying out using specialization--it's a very promising addition to Chicken.

Thanks,

Jules.