From abadichi at bezeqint.net  Sat Apr  5 11:22:10 2008
From: abadichi at bezeqint.net (Ariel Badichi)
Date: Sat, 05 Apr 2008 14:22:10 +0300
Subject: [Metabang-bind-devel] incorrect expansion of declarations for
	multiple-value bindings
Message-ID: <874pag5yxp.fsf@sneeze.site>


It appears that bind does not correctly expand declarations for
multiple-value bindings:

 (bind (((:values a b) (c)))
   (declare (type integer a b))
   (d a b))

==>

 (multiple-value-bind (a b) (c)
   ;; no declaration for a
   (declare (type integer b))
   (d a b))

Ariel


From attila.lendvai at gmail.com  Sat Apr  5 14:16:09 2008
From: attila.lendvai at gmail.com (Attila Lendvai)
Date: Sat, 5 Apr 2008 16:16:09 +0200
Subject: [Metabang-bind-devel] incorrect expansion of declarations for
	multiple-value bindings
In-Reply-To: <874pag5yxp.fsf@sneeze.site>
References: <874pag5yxp.fsf@sneeze.site>
Message-ID: <b54b34af0804050716jc950be2q3bf77e9efe956b7a@mail.gmail.com>

>  It appears that bind does not correctly expand declarations for
>  multiple-value bindings:
>
>   (bind (((:values a b) (c)))
>    (declare (type integer a b))
>    (d a b))
>
>  ==>

(MULTIPLE-VALUE-BIND (A B) (C)
       (DECLARE (TYPE INTEGER A) (TYPE INTEGER B))
       (D A B))

darcs pull.

-- 
 attila