~ chicken-core (chicken-5) 67d134deb1bf7265c15f1ba429cabc6d0b264817
commit 67d134deb1bf7265c15f1ba429cabc6d0b264817 Author: Peter Bex <peter.bex@xs4all.nl> AuthorDate: Sun Aug 4 19:09:06 2013 +0200 Commit: Peter Bex <peter.bex@xs4all.nl> CommitDate: Sun Aug 4 19:09:06 2013 +0200 Fix 'flatten' type signature in database (thanks to Hugo Arregui for pointing it out) diff --git a/types.db b/types.db index 01dce757..9eaeae10 100644 --- a/types.db +++ b/types.db @@ -1199,7 +1199,7 @@ (constantly (forall (a) (#(procedure #:pure) constantly (a) (procedure (#!rest) a)))) (disjoin (#(procedure #:clean #:enforce) disjoin (#!rest (procedure (*) *)) (procedure (*) *))) (each (#(procedure #:clean #:enforce) each (#!rest procedure) procedure)) -(flatten (#(procedure #:clean #:enforce) flatten (pair) list)) +(flatten (#(procedure #:clean #:enforce) flatten (#!rest *) list)) (flip (#(procedure #:clean #:enforce) flip ((procedure (* *) . *)) (procedure (* *) . *))) (identity (forall (a) (#(procedure #:pure) identity (a) a))) (intersperse (#(procedure #:clean #:enforce) intersperse (list *) list))Trap