Skip to content
Snippets Groups Projects
Commit 638f50e6 authored by pfdietz's avatar pfdietz
Browse files

Fixed three check-type-error error cases

parent 8ac0ca5e
No related branches found
No related tags found
No related merge requests found
...@@ -87,6 +87,15 @@ ...@@ -87,6 +87,15 @@
t) t)
(deftest fboundp.error.10 (deftest fboundp.error.10
(check-type-error #'(lambda (x) (fboundp `(setf ,x))) (loop for x in *mini-universe*
#'symbolp) unless (symbolp x)
nconc
(handler-case
(list x (fboundp `(setf ,x)))
(type-error (c)
(assert (not (typep (type-error-datum c)
(type-error-expected-type c))))
nil)
(error (c) (list (list x c)))))
nil) nil)
...@@ -40,7 +40,16 @@ ...@@ -40,7 +40,16 @@
nil) nil)
(deftest fdefinition.error.8 (deftest fdefinition.error.8
(check-type-error #'(lambda (x) (fdefinition `(setf ,x))) #'symbolp) (loop for x in *mini-universe*
unless (symbolp x)
nconc
(handler-case
(list x (fdefinition `(setf ,x)))
(type-error (c)
(assert (not (typep (type-error-datum c)
(type-error-expected-type c))))
nil)
(error (c) (list (list x c)))))
nil) nil)
;;; Non-error cases ;;; Non-error cases
......
...@@ -69,5 +69,14 @@ ...@@ -69,5 +69,14 @@
t) t)
(deftest fmakunbound.error.7 (deftest fmakunbound.error.7
(check-type-error #'(lambda (x) (fmakunbound `(setf ,x))) #'symbolp) (loop for x in *mini-universe*
unless (symbolp x)
nconc
(handler-case
(list x (fmakunbound `(setf ,x)))
(type-error (c)
(assert (not (typep (type-error-datum c)
(type-error-expected-type c))))
nil)
(error (c) (list (list x c)))))
nil) nil)
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment