~ chicken-core (chicken-5) 20b1c5960b32796ddad22b58d9991351041cc2af

commit 20b1c5960b32796ddad22b58d9991351041cc2af
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Tue Jul 8 08:40:48 2014 +1200
Commit:     Evan Hanson <evhan@foldling.org>
CommitDate: Tue Jul 8 08:41:18 2014 +1200

    types.db fix for append
    
    Append's final argument needn't be a list.
    
    Signed-off-by: Evan Hanson <evhan@foldling.org>

diff --git a/types.db b/types.db
index a66f044b..bb9bb8e4 100644
--- a/types.db
+++ b/types.db
@@ -167,8 +167,8 @@
 (list-tail (forall (a) (#(procedure #:clean #:enforce) list-tail ((list-of a) fixnum) (list-of a))))
 (list-ref (forall (a) (#(procedure #:clean #:enforce) list-ref ((list-of a) fixnum) a)))
 
-(append (#(procedure #:clean) append (#!rest list) *)) ; sic
-(##sys#append (#(procedure #:clean) ##sys#append (#!rest list) *))
+(append (#(procedure #:clean) append (#!rest *) *)) ; sic
+(##sys#append (#(procedure #:clean) ##sys#append (#!rest *) *))
 
 (reverse (forall (a) (#(procedure #:clean #:enforce) reverse ((list-of a)) (list-of a))))