From d186a78d2f38fc281cafed053ce4e0855228223e Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Fri, 1 Jul 2005 11:26:50 +0000
Subject: [PATCH] Another tests of declarations on aux variables.

---
 ansi-tests/lambda.lsp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/ansi-tests/lambda.lsp b/ansi-tests/lambda.lsp
index d1681d5b..53620a35 100644
--- a/ansi-tests/lambda.lsp
+++ b/ansi-tests/lambda.lsp
@@ -336,6 +336,16 @@
 	 nil))))
   :good)
 
+(deftest lambda.64
+  (let ((x :bad))
+    (declare (special x))
+    (flet ((%f () x))
+      ((lambda (x &aux (y (%f)))
+	 (declare (type t y) (special x))
+	 y)
+       :good)))
+  :good)
+
 ;;; Tests of lambda as a macro
 
 (deftest lambda.macro.1
-- 
GitLab