X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fsmoke.impure.lisp;h=d5e86b3b8710f2dbed09aae45a6e40de89ff8954;hb=22c1de0a40df83bb5628974010a879cb2c17ff53;hp=ff7d4d9889dcc943b17dcb9e0e0c72416523ce46;hpb=08cc6ef646857381452e814cda8e68fccc464f96;p=sbcl.git diff --git a/tests/smoke.impure.lisp b/tests/smoke.impure.lisp index ff7d4d9..d5e86b3 100644 --- a/tests/smoke.impure.lisp +++ b/tests/smoke.impure.lisp @@ -19,15 +19,45 @@ (room t) (room nil) -;;; DESCRIBE should run without signalling an error. -(defstruct to-be-described a b) -(describe (make-to-be-described)) -(describe 12) -(describe "a string") -(describe 'symbolism) -(describe (find-package :cl)) -(describe '(a list)) -(describe #(a vector)) +;;; COPY-SYMBOL should work without signalling an error, even if the +;;; symbol is unbound. +(copy-symbol 'foo) +(copy-symbol 'bar t) +(defvar *baz* nil) +(copy-symbol '*baz* t) + +;;; SETQ should return its value. +(assert (typep (setq *baz* 1) 'integer)) +(assert (typep (in-package :cl-user) 'package)) + +;;; PROFILE should run without obvious breakage +(defun profiled-fun () + (random 1d0)) +(profile profiled-fun) +(loop repeat 100000 do (profiled-fun)) +(report) + +;;; DEFCONSTANT should behave as the documentation specifies, +;;; including documented condition type. +(defun oidentity (x) x) +(defconstant +const+ 1) +(assert (= (oidentity +const+) 1)) +(let ((error (nth-value 1 (ignore-errors (defconstant +const+ 2))))) + (assert (typep error 'sb-ext:defconstant-uneql)) + (assert (= (sb-ext:defconstant-uneql-old-value error) 1)) + (assert (= (sb-ext:defconstant-uneql-new-value error) 2)) + (assert (eql (sb-ext:defconstant-uneql-name error) '+const+))) +(assert (= (oidentity +const+) 1)) +(handler-bind + ((sb-ext:defconstant-uneql + (lambda (c) (abort c)))) + (defconstant +const+ 3)) +(assert (= (oidentity +const+) 1)) +(handler-bind + ((sb-ext:defconstant-uneql + (lambda (c) (continue c)))) + (defconstant +const+ 3)) +(assert (= (oidentity +const+) 3)) ;;; success (quit :unix-status 104)