X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=437eef8d64a2cabe4614cae5f6e6d82714e17f51;hb=4081f91910d6dc5dc79e2c43b8a746acaa78ecd9;hp=7b4346c1e4a688f86b4f7a1fc0d9afe6d3d625b6;hpb=0009bbcdd02c9bd8c8db09d4a23b8de338ae24d0;p=sbcl.git diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp index 7b4346c..437eef8 100644 --- a/tests/compiler.pure.lisp +++ b/tests/compiler.pure.lisp @@ -129,3 +129,36 @@ (dotimes (i 14) (when (typep i '(and integer (satisfies oddp))) (print i))) + +;;; bug 156 (reported by APD sbcl-devel 2002-04-12, fixed by CSR patch +;;; sbcl-devel 2002-07-02): FUNCTION-LAMBDA-EXPRESSION of +;;; interactively-compiled functions was broken by sleaziness and +;;; confusion in the assault on 0.7.0, so this expression used to +;;; signal TYPE-ERROR when it found NIL instead of a DEBUG-SOURCE. +(eval '(function-lambda-expression #'(lambda (x) x))) + +;;; bug caught and fixed by Raymond Toy cmucl-imp 2002-07-10: &REST +;;; variable is not optional. +(assert (null (ignore-errors (eval '(funcall (lambda (&rest) 12)))))) + +;;; on the PPC, we got the magic numbers in undefined_tramp wrong for +;;; a while; fixed by CSR 2002-07-18 +(multiple-value-bind (value error) + (ignore-errors (some-undefined-function)) + (assert (null value)) + (assert (eq (cell-error-name error) 'some-undefined-function))) + +;;; Non-symbols shouldn't be allowed as VARs in lambda lists. (Where VAR +;;; is a variable name, as in section 3.4.1 of the ANSI spec.) +(assert (null (ignore-errors (eval '(lambda ("foo") 12))))) +(assert (ignore-errors (eval '(lambda (foo) 12)))) +(assert (null (ignore-errors (eval '(lambda (&optional 12) "foo"))))) +(assert (ignore-errors (eval '(lambda (&optional twelve) "foo")))) +(assert (null (ignore-errors (eval '(lambda (&optional (12 12)) "foo"))))) +(assert (ignore-errors (eval '(lambda (&optional (twelve 12)) "foo")))) +(assert (null (ignore-errors (eval '(lambda (&key #\c) "foo"))))) +(assert (ignore-errors (eval '(lambda (&key c) "foo")))) +(assert (null (ignore-errors (eval '(lambda (&key (#\c #\c)) "foo"))))) +(assert (ignore-errors (eval '(lambda (&key (c #\c)) "foo")))) +(assert (null (ignore-errors (eval '(lambda (&key ((#\c #\c) #\c)) "foo"))))) +(assert (ignore-errors (eval '(lambda (&key ((:c cbyanyothername) #\c)) "foo"))))