Skip to content
Snippets Groups Projects
Commit 5c26fa55 authored by pfdietz's avatar pfdietz
Browse files

More section 14.1.2.3 (paragraph 1) tests.

parent 1306ccee
No related branches found
No related tags found
No related merge requests found
...@@ -104,6 +104,10 @@ ...@@ -104,6 +104,10 @@
(classify-error (mapc #'car '(a b c))) (classify-error (mapc #'car '(a b c)))
type-error) type-error)
(deftest mapc.error.8
(classify-error (mapc #'identity (list* 1 2 3 4)))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; mapcar ;;; mapcar
...@@ -208,6 +212,9 @@ ...@@ -208,6 +212,9 @@
(classify-error (mapcar #'cons '(a b c) '(1 2 3) '(4 5 6))) (classify-error (mapcar #'cons '(a b c) '(1 2 3) '(4 5 6)))
program-error) program-error)
(deftest mapcar.error.8
(classify-error (mapcar #'identity (list* 1 2 3 4)))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; mapcan ;;; mapcan
...@@ -320,6 +327,10 @@ ...@@ -320,6 +327,10 @@
(classify-error (mapcan #'cons '(a b c) '(1 2 3) '(4 5 6))) (classify-error (mapcan #'cons '(a b c) '(1 2 3) '(4 5 6)))
program-error) program-error)
(deftest mapcan.error.8
(classify-error (mapcan #'identity (list* (list 1) (list 2) 3)))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; mapl ;;; mapl
...@@ -443,6 +454,9 @@ ...@@ -443,6 +454,9 @@
(classify-error (mapl #'caar '(a b c))) (classify-error (mapl #'caar '(a b c)))
type-error) type-error)
(deftest mapl.error.8
(classify-error (mapl #'identity (list* (list 1) (list 2) 3)))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; maplist ;;; maplist
...@@ -574,6 +588,10 @@ ...@@ -574,6 +588,10 @@
(classify-error (maplist #'cons '(a b c) '(1 2 3) '(4 5 6))) (classify-error (maplist #'cons '(a b c) '(1 2 3) '(4 5 6)))
program-error) program-error)
(deftest maplist.error.11
(classify-error (maplist #'identity (list* (list 1) (list 2) 3)))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; mapcon ;;; mapcon
...@@ -650,3 +668,8 @@ ...@@ -650,3 +668,8 @@
(deftest mapcon.error.7 (deftest mapcon.error.7
(classify-error (mapcon #'cons '(a b c) '(1 2 3) '(4 5 6))) (classify-error (mapcon #'cons '(a b c) '(1 2 3) '(4 5 6)))
program-error) program-error)
(deftest mapcon.error.8
(classify-error (mapcon #'copy-tree (cons 1 2)))
type-error)
...@@ -693,9 +693,13 @@ ...@@ -693,9 +693,13 @@
program-error) program-error)
(deftest pairlist.error.4 (deftest pairlist.error.4
(classify-error (pairlis 'a '(1) '(a b c))) (classify-error (pairlis 'a '(1)))
type-error) type-error)
(deftest pairlist.error.5 (deftest pairlist.error.5
(classify-error (pairlis '(a) 'b '(a b c))) (classify-error (pairlis '(a) 'b))
type-error)
(deftest pairlist.error.6
(classify-error (pairlis '(a . b) '(c . d)))
type-error) type-error)
...@@ -78,6 +78,18 @@ ...@@ -78,6 +78,18 @@
(classify-error (get-properties nil nil nil)) (classify-error (get-properties nil nil nil))
program-error) program-error)
(deftest get-properties.error.4
(classify-error (get-properties '(a 1 b 2 c 3) '(a . b)))
type-error)
(deftest get-properties.error.5
(classify-error (get-properties '(a 1 b 2 c 3 . d) '(a z)))
type-error)
(deftest get-properties.error.6
(classify-error (get-properties '(a 1 b 2 c . d) '(a z)))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; getf ;;; getf
...@@ -296,6 +308,14 @@ ...@@ -296,6 +308,14 @@
(classify-error (getf nil nil nil nil)) (classify-error (getf nil nil nil nil))
program-error) program-error)
(deftest getf.error.4
(classify-error (getf '(a . b) 'c))
type-error)
(deftest getf.error.5
(classify-error (getf '(a 10 . b) 'c))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; remf ;;; remf
......
...@@ -388,6 +388,14 @@ ...@@ -388,6 +388,14 @@
(classify-error (intersection '(a b c) '(d e f) :key #'car)) (classify-error (intersection '(a b c) '(d e f) :key #'car))
type-error) type-error)
(deftest intersection.error.11
(classify-error (intersection '(a b c) '(d e f . g)))
type-error)
(deftest intersection.error.12
(classify-error (intersection '(a b . c) '(d e f)))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; nintersection ;;; nintersection
...@@ -736,3 +744,11 @@ ...@@ -736,3 +744,11 @@
(deftest nintersection.error.10 (deftest nintersection.error.10
(classify-error (nintersection (list 1 2 3) (list 4 5 6) :key #'car)) (classify-error (nintersection (list 1 2 3) (list 4 5 6) :key #'car))
type-error) type-error)
(deftest nintersection.error.11
(classify-error (nintersection (list 1 2 3) (list* 4 5 6 7)))
type-error)
(deftest nintersection.error.12
(classify-error (nintersection (list* 1 2 3) (list 4 5 6)))
type-error)
...@@ -401,4 +401,15 @@ ...@@ -401,4 +401,15 @@
(classify-error (union (list 1 2) (list 3 4) :key #'car)) (classify-error (union (list 1 2) (list 3 4) :key #'car))
type-error) type-error)
(deftest union.error.11
(classify-error (union (list 1 2 3) (list* 4 5 6)))
type-error)
(deftest union.error.12
(classify-error (union (list* 1 2 3) (list 4 5 6)))
type-error)
...@@ -400,3 +400,10 @@ ...@@ -400,3 +400,10 @@
(classify-error (nunion (list 1 2) (list 3 4) :key #'car)) (classify-error (nunion (list 1 2) (list 3 4) :key #'car))
type-error) type-error)
(deftest nunion.error.11
(classify-error (nunion (list 1 2 3) (list* 4 5 6)))
type-error)
(deftest nunion.error.12
(classify-error (nunion (list* 1 2 3) (list 4 5 6)))
type-error)
...@@ -310,6 +310,14 @@ ...@@ -310,6 +310,14 @@
(classify-error (set-difference (list 1 2) (list 3 4) :key #'car)) (classify-error (set-difference (list 1 2) (list 3 4) :key #'car))
type-error) type-error)
(deftest set-difference.error.11
(classify-error (set-difference (list 1 2 3) (list* 4 5 6)))
type-error)
(deftest set-difference.error.12
(classify-error (set-difference (list* 1 2 3) (list 4 5 6)))
type-error)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; nset-difference ;;; nset-difference
...@@ -611,3 +619,11 @@ ...@@ -611,3 +619,11 @@
(deftest nset-difference.error.10 (deftest nset-difference.error.10
(classify-error (nset-difference (list 1 2) (list 3 4) :key #'car)) (classify-error (nset-difference (list 1 2) (list 3 4) :key #'car))
type-error) type-error)
(deftest nset-difference.error.11
(classify-error (nset-difference (list 1 2 3) (list* 4 5 6)))
type-error)
(deftest nset-difference.error.12
(classify-error (nset-difference (list* 1 2 3) (list 4 5 6)))
type-error)
...@@ -347,6 +347,14 @@ ...@@ -347,6 +347,14 @@
(classify-error (set-exclusive-or (list 1 2) (list 3 4) :key #'car)) (classify-error (set-exclusive-or (list 1 2) (list 3 4) :key #'car))
type-error) type-error)
(deftest set-exclusive-or.error.11
(classify-error (set-exclusive-or (list 1 2 3) (list* 4 5 6)))
type-error)
(deftest set-exclusive-or.error.12
(classify-error (set-exclusive-or (list* 1 2 3) (list 4 5 6)))
type-error)
;;; Randomized test ;;; Randomized test
...@@ -702,3 +710,10 @@ ...@@ -702,3 +710,10 @@
(classify-error (nset-exclusive-or (list 1 2) (list 3 4) :key #'car)) (classify-error (nset-exclusive-or (list 1 2) (list 3 4) :key #'car))
type-error) type-error)
(deftest nset-exclusive-or.error.11
(classify-error (nset-exclusive-or (list 1 2 3) (list* 4 5 6)))
type-error)
(deftest nset-exclusive-or.error.12
(classify-error (nset-exclusive-or (list* 1 2 3) (list 4 5 6)))
type-error)
...@@ -247,4 +247,12 @@ ...@@ -247,4 +247,12 @@
(deftest subsetp.error.10 (deftest subsetp.error.10
(classify-error (subsetp (list 1 2) (list 3 4) :key #'car)) (classify-error (subsetp (list 1 2) (list 3 4) :key #'car))
type-error) type-error)
\ No newline at end of file
(deftest subsetp.error.11
(classify-error (subsetp (list 1 2 3) (list* 4 5 6)))
type-error)
(deftest subsetp.error.12
(classify-error (subsetp (list* 1 2 3) (list 4 5 6)))
type-error)
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