~ chicken-core (chicken-5) 599908177619ccccf595c395551773aaf1f48c92

commit 599908177619ccccf595c395551773aaf1f48c92
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Fri Feb 15 11:24:15 2013 +0100
Commit:     Christian Kellermann <ckeen@pestilenz.org>
CommitDate: Fri Feb 15 11:30:19 2013 +0100

    fixed types.db entry for join - contributed J. Altfas
    
    Signed-off-by: felix <felix@call-with-current-continuation.org>
    Signed-off-by: Christian Kellermann <ckeen@pestilenz.org>

diff --git a/types.db b/types.db
index bad60cbe..1d035cf9 100644
--- a/types.db
+++ b/types.db
@@ -1200,7 +1200,7 @@
 (flip (#(procedure #:clean #:enforce) flip ((procedure (* *) . *)) (procedure (* *) . *)))
 (identity (forall (a) (#(procedure #:pure) identity (a) a)))
 (intersperse (#(procedure #:clean #:enforce) intersperse (list *) list))
-(join (#(procedure #:clean #:enforce) join (list list) list))
+(join (#(procedure #:clean #:enforce) join ((list-of list) #!optional list) list))
 (list->queue (#(procedure #:clean #:enforce) list->queue (list) (struct queue)))
 (list-of? (#(procedure #:clean #:enforce) list-of? ((procedure (*) *)) (procedure (list) boolean)))
 (make-queue (#(procedure #:pure) make-queue () (struct queue)))