>From 061cfad9022d823a04dac69d1d766e8bd492118a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20F=2E=20Wittenberger?= Date: Thu, 14 Jan 2016 15:12:26 +0100 Subject: [PATCH] Fix type of alist-delete! according to srfi-1 spec. Signed-off-by: Evan Hanson --- types.db | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/types.db b/types.db index f259673..2491131 100644 --- a/types.db +++ b/types.db @@ -1854,7 +1854,7 @@ (alist-cons (forall (a b c) (#(procedure #:clean) alist-cons (a b (list-of c)) (pair a (pair b (list-of c)))))) (alist-copy (forall (a) (#(procedure #:clean #:enforce) alist-copy ((list-of a)) (list-of a)))) (alist-delete (forall (a b) (#(procedure #:enforce) alist-delete (a (list-of b) #!optional (procedure (a b) *)) list))) -(alist-delete! (forall (a b) (#(procedure #:enforce) alist-delete! (a (list-of b) #!optional (procedure (a b) *)) undefined))) +(alist-delete! (forall (a b) (#(procedure #:enforce) alist-delete! (a (list-of b) #!optional (procedure (a b) *)) list))) (any (forall (a) (#(procedure #:enforce) any ((procedure (a #!rest) *) (list-of a) #!rest list) *))) (append! (#(procedure #:enforce) append! (#!rest list) list)) -- 2.6.4