~ chicken-core (chicken-5) d2d56dd8d930eaf3780bd82c0f0fa2fd161d4794

commit d2d56dd8d930eaf3780bd82c0f0fa2fd161d4794
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Sat Sep 3 21:28:31 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sat Sep 3 21:28:31 2011 +0200

    slightly more specific result type for f32vector->list

diff --git a/types.db b/types.db
index 61d3361c..0b6f77ca 100644
--- a/types.db
+++ b/types.db
@@ -2257,7 +2257,7 @@
 (f32vector (#(procedure #:clean #:enforce) f32vector (#!rest number) (struct f32vector)))
 (f32vector->blob (#(procedure #:clean #:enforce) f32vector->blob ((struct f32vector)) blob))
 (f32vector->blob/shared (#(procedure #:clean #:enforce) f32vector->blob/shared ((struct f32vector)) blob))
-(f32vector->list (#(procedure #:clean #:enforce) f32vector->list ((struct f32vector)) list))
+(f32vector->list (#(procedure #:clean #:enforce) f32vector->list ((struct f32vector)) (list float)))
 
 (f32vector-length (#(procedure #:clean #:enforce) f32vector-length ((struct f32vector)) fixnum)
 		  (((struct f32vector)) (##core#inline "C_u_i_32vector_length" #(1))))