[Chicken-hackers] [PATCH] types.db entry for "append"

[Felix Winkelmann]

Hello!


I think the types.db entry for "append" is wrong, as it will produce
a warning when the last argument is a non-list, which is still valid
(for example when creating together lambda-lists).


diff --git a/types.db b/types.db
index a66f044..bb9bb8e 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))))


felix