X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fpackage-locks.impure.lisp;h=9acdd24d5ee1888589c9cd1eba5854131201353a;hb=fb8533122551bbb7aea669f40bc91c1211809b58;hp=de471704ef5310d390dcb90354d4186943474473;hpb=ff92598854bf7cae8d57fe49cef4d9a98e1ab345;p=sbcl.git

diff --git a/tests/package-locks.impure.lisp b/tests/package-locks.impure.lisp
index de47170..9acdd24 100644
--- a/tests/package-locks.impure.lisp
+++ b/tests/package-locks.impure.lisp
@@ -435,5 +435,19 @@
                        ,form)))
              package-lock-violation))))
 
+;;;; Program-errors from lexical violations
+(reset-test)
+(set-test-locks t)
+(dolist (pair *illegal-compile-time-forms-alist*)
+  (destructuring-bind (sym . form) pair
+      (declare (ignore sym))
+    (let ((fun (compile nil `(lambda ()
+			      ,form))))
+      (assert (raises-error? (funcall fun) program-error)))))
+
+;;;; See that trace on functions in locked packages doesn't break
+;;;; anything.
+(assert (trace test:function :break t))
+
 ;;; WOOT! Done.
 (sb-ext:quit :unix-status 104)