Skip to content
Snippets Groups Projects
Commit 8a210df6 authored by pfdietz's avatar pfdietz
Browse files

Add tests for type-error-datum, type-error-expected-type

parent e8dfba38
No related branches found
No related tags found
No related merge requests found
...@@ -233,6 +233,19 @@ ...@@ -233,6 +233,19 @@
(notnot-mv (macro-function 'deftype)) (notnot-mv (macro-function 'deftype))
t) t)
;;; TYPE-ERROR accessors
(deftest type-error-datum.1
(let ((c (make-condition 'type-error :datum 'a :expected-type 'integer)))
(type-error-datum c))
a)
(deftest type-error-expected-type.1
(let ((c (make-condition 'type-error
:datum 'a :expected-type 'integer)))
(type-error-expected-type c))
integer)
;;; Error checking of type-related functions ;;; Error checking of type-related functions
(deftest type-error-datum.error.1 (deftest type-error-datum.error.1
......
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