~ chicken-core (chicken-5) 5249d9d066fc7931ca5d40215789be5157be2e11

commit 5249d9d066fc7931ca5d40215789be5157be2e11
Author:     Peter Bex <peter@more-magic.net>
AuthorDate: Wed Nov 18 19:29:59 2015 +0100
Commit:     Evan Hanson <evhan@foldling.org>
CommitDate: Sun Dec 20 18:12:07 2015 +1300

    Fix a few incorrect type declarations
    
    These were found by simply compiling with DEBUGBUILD after rebuilding
    CHICKEN with all identifiers in types.db marked with "declared-type" in
    the scrutinizer.
    
    Signed-off-by: Evan Hanson <evhan@foldling.org>

diff --git a/types.db b/types.db
index e332f5a0..c902bac2 100644
--- a/types.db
+++ b/types.db
@@ -871,7 +871,7 @@
       ((*) (number)
        (##core#inline_allocate ("C_s_a_i_plus" 36) #(1) '1)))
 
-(argc+argv (#(procedure #:clean) argc+argv () fixnum (list-of string) fixnum))
+(argc+argv (#(procedure #:clean) argc+argv () fixnum pointer))
 (argv (#(procedure #:clean) argv () (list-of string)))
 (integer-length (#(procedure #:clean #:enforce #:foldable) integer-length (integer) fixnum)
 		((fixnum) (##core#inline "C_i_fixnum_length" #(1)))
@@ -940,7 +940,7 @@
 (condition->list (#(procedure #:clean #:enforce) condition->list ((struct condition)) (list-of (pair symbol *))))
 (continuation-capture (#(procedure #:enforce) continuation-capture ((procedure ((struct continuation)) . *)) *))
 (continuation-graft (#(procedure #:clean #:enforce) continuation-graft ((struct continuation) (procedure () . *)) *))
-(continuation-return (#(procedure #:enforce) continuation-return (procedure #!rest) . *)) ;XXX make return type more specific?
+(continuation-return (#(procedure #:enforce) continuation-return ((struct continuation) #!rest) . *)) ;XXX make return type more specific?
 
 (continuation? (#(procedure #:pure #:predicate (struct continuation)) continuation? (*) boolean))
 
@@ -2212,7 +2212,7 @@
 (chicken.tcp#tcp-accept-ready? (#(procedure #:clean #:enforce) chicken.tcp#tcp-accept-ready? ((struct tcp-listener)) boolean))
 (chicken.tcp#tcp-accept-timeout (#(procedure #:clean #:enforce) chicken.tcp#tcp-accept-timeout (#!optional (or false integer)) (or false integer)))
 (chicken.tcp#tcp-addresses (#(procedure #:clean #:enforce) chicken.tcp#tcp-addresses (port) string string))
-(chicken.tcp#tcp-buffer-size (#(procedure #:clean #:enforce) chicken.tcp#tcp-buffer-size (#!optional fixnum) fixnum))
+(chicken.tcp#tcp-buffer-size (#(procedure #:clean #:enforce) chicken.tcp#tcp-buffer-size (#!optional (or false fixnum)) (or false fixnum)))
 (chicken.tcp#tcp-close (#(procedure #:clean #:enforce) chicken.tcp#tcp-close ((struct tcp-listener)) undefined))
 (chicken.tcp#tcp-connect (#(procedure #:clean #:enforce) chicken.tcp#tcp-connect (string #!optional fixnum) input-port output-port))
 (chicken.tcp#tcp-connect-timeout (#(procedure #:clean #:enforce) chicken.tcp#tcp-connect-timeout (#!optional (or false integer)) (or false integer)))