X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Flambda-list.pure.lisp;h=3dd39db47c5e9717995df4cf114983b7ed19c352;hb=31f68584d0732dc0d17f379773e5f87f1e5a78ad;hp=3f202d77aceae2ef71b10c740511e552c8061572;hpb=9f684145a95d4abbde75422edb8b217dfad3375b;p=sbcl.git

diff --git a/tests/lambda-list.pure.lisp b/tests/lambda-list.pure.lisp
index 3f202d7..3dd39db 100644
--- a/tests/lambda-list.pure.lisp
+++ b/tests/lambda-list.pure.lisp
@@ -6,29 +6,43 @@
 ;;;; While most of SBCL is derived from the CMU CL system, the test
 ;;;; files (like this one) were written from scratch after the fork
 ;;;; from CMU CL.
-;;;; 
+;;;;
 ;;;; This software is in the public domain and is provided with
 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
 ;;;; more information.
 
-(macrolet ((error-p (ll)
-             `(progn
-                (multiple-value-bind (result error) (ignore-errors (handler-bind ((error #'error))
-                                                                     (eval `(lambda ,',ll 'ok))))
-                  (unless (and (not result) error)
-                    (error "No error from lambda ~S." ',ll)))
-                (multiple-value-bind (result error) (ignore-errors (handler-bind ((error #'error))
-                                                                     (eval `(lambda (x) (destructuring-bind ,',ll x 'ok)))))
-                  (unless (and (not result) error)
-                    (error "No error from d-b ~S." ',ll))))))
-  (error-p (&aux (foo 1) &aux (bar 2)))
-  (error-p (&aux (foo 1) &key bar))
-  (error-p (&aux (foo 1) &optional bar))
-  (error-p (&aux (foo 1) &rest bar))
-  (error-p (&key foo &allow-other-keys &allow-other-keys))
-  (error-p (&key foo &key bar))
-  (error-p (&key foo &optional bar))
-  (error-p (&key foo &rest bar))
-  (error-p (&optional foo &optional bar))
-  (error-p (&rest foo &rest bar))
-  (error-p (&rest foo &optional bar)))
+(let ((*macroexpand-hook*
+       (compile nil
+                (lambda (fun form env)
+                  (handler-bind ((error (lambda (c)
+                                          (when (eq 'destructuring-bind (car form))
+                                            (throw 'd-b-error c)))))
+                    (funcall fun form env))))))
+  (macrolet ((maybe-funcall (&rest args)
+               ;; The evaluator will delay lambda-list checks until
+               ;; the lambda is actually called.
+               (if (eq sb-ext:*evaluator-mode* :interpret)
+                   `(funcall ,@args)
+                   `(progn ,@args)))
+             (error-p (ll)
+               `(progn
+                  (multiple-value-bind (result error)
+                      (ignore-errors (maybe-funcall (eval `(lambda ,',ll 'ok))))
+                    (unless (and (not result) error)
+                      (error "No error from lambda ~S." ',ll)))
+                  (catch 'd-b-error
+                    (maybe-funcall
+                     (eval `(lambda (x) (destructuring-bind ,',ll x 'ok)))
+                     nil)
+                    (error "No error from d-b ~S." ',ll)))))
+    (error-p (&aux (foo 1) &aux (bar 2)))
+    (error-p (&aux (foo 1) &key bar))
+    (error-p (&aux (foo 1) &optional bar))
+    (error-p (&aux (foo 1) &rest bar))
+    (error-p (&key foo &allow-other-keys &allow-other-keys))
+    (error-p (&key foo &key bar))
+    (error-p (&key foo &optional bar))
+    (error-p (&key foo &rest bar))
+    (error-p (&optional foo &optional bar))
+    (error-p (&rest foo &rest bar))
+    (error-p (&rest foo &optional bar))))