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 _______________________________________________ Chicken-hackers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/chicken-hackers
