From 861ae33f84857e74af802287d88d2184b8d9fee2 Mon Sep 17 00:00:00 2001 From: Peter Bex Date: Wed, 18 Nov 2015 19:29:59 +0100 Subject: [PATCH 3/3] Fix a few incorrect type declarations. These were found by simply compiling with DEBUGBUILD after rebuilding CHICKEN with the declared-type fix in the scrutinizer. Conflicts: types.db --- types.db | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/types.db b/types.db index 050824a..198af1d 100644 --- a/types.db +++ b/types.db @@ -866,7 +866,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))) @@ -935,7 +935,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)) @@ -2207,7 +2207,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))) -- 2.1.4