diff --git a/ansi-tests/cons-test-02.lsp b/ansi-tests/cons-test-02.lsp
index 85cb288d75fc66604a0c41bdee45ac3f176b2ca4..a018bc1e6fbcf53b4c6cc89b6a2b53f95d4e9254 100644
--- a/ansi-tests/cons-test-02.lsp
+++ b/ansi-tests/cons-test-02.lsp
@@ -198,6 +198,11 @@
 			  :test-not #'identity))
   program-error)
 
+(deftest sublis.error.8
+  (classify-error (sublis '((a . 1) . bad)
+			  (list 'a 'b 'c 'd)))
+  type-error)
+
 ;; nsublis
 
 (deftest nsublis.1
@@ -356,6 +361,11 @@
 			   :test-not #'identity))
   program-error)
 
+(deftest nsublis.error.8
+  (classify-error (nsublis '((a . 1) . bad)
+			   (list 'a 'b 'c 'd)))
+  type-error)
+
 ;;;;;;
 
 (deftest sublis.shared
diff --git a/ansi-tests/cons-test-07.lsp b/ansi-tests/cons-test-07.lsp
index 445d0e85d6515861d4266874330fa91d41caeecc..d3c5d1cc23859917ca39c3c7404ba9821a2b13d8 100644
--- a/ansi-tests/cons-test-07.lsp
+++ b/ansi-tests/cons-test-07.lsp
@@ -126,6 +126,10 @@
   (let ((i 0)) (values (append (incf i)) i))
   1 1)
 
+(deftest append.error.1
+  (classify-error (append '(a . b) '(z)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; revappend
 
@@ -175,6 +179,10 @@
   (classify-error (revappend nil nil nil))
   program-error)
 
+(deftest revappend.error.4
+  (classify-error (revappend '(a . b) '(z)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; nreconc
 
@@ -209,3 +217,7 @@
 (deftest nreconc.error.3
   (classify-error (nreconc nil nil nil))
   program-error)
+
+(deftest nreconc.error.4
+  (classify-error (nreconc (cons 'a 'b) (list 'z)))
+  type-error)
diff --git a/ansi-tests/cons-test-16.lsp b/ansi-tests/cons-test-16.lsp
index be3978a3cbff74c1f8839270fa988d21328e3602..6a84305d70fbc7d061cbbf8a5f6db2b79706d117 100644
--- a/ansi-tests/cons-test-16.lsp
+++ b/ansi-tests/cons-test-16.lsp
@@ -310,6 +310,10 @@
   (classify-error (assoc 'a '((a . b)) :key #'cons))
   program-error)
 
+(deftest assoc.error.10
+  (classify-error (assoc 'z '((a . b) . c)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; assoc-if
 
@@ -442,6 +446,9 @@
   (classify-error (assoc-if #'identity '((a b)(c d)) :key #'car))
   type-error)
 
+(deftest assoc-if.error.11
+  (classify-error (assoc-if #'null '((a . b) . c)))
+  type-error)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; assoc-if-not
@@ -577,6 +584,10 @@
   (classify-error (assoc-if-not #'identity '((a b)(c d)) :key #'car))
   type-error)
 
+(deftest assoc-if-not.error.11
+  (classify-error (assoc-if-not #'identity '((a . b) . c)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; copy-alist
 
@@ -606,6 +617,10 @@
   (classify-error (copy-alist nil nil))
   program-error)
 
+(deftest copy-alist.error.3
+  (classify-error (copy-alist '((a . b) . c)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; pairlis
 
@@ -676,3 +691,11 @@
 (deftest pairlis.error.3
   (classify-error (pairlis nil nil nil nil))
   program-error)
+
+(deftest pairlist.error.4
+  (classify-error (pairlis 'a '(1) '(a b c)))
+  type-error)
+
+(deftest pairlist.error.5
+  (classify-error (pairlis '(a) 'b '(a b c)))
+  type-error)
diff --git a/ansi-tests/cons-test-17.lsp b/ansi-tests/cons-test-17.lsp
index e1941c675b7d1579dbe0e69c239292ae2db1ba1f..661520dd7fef2f08a93f96d39e3a379504e3e7f4 100644
--- a/ansi-tests/cons-test-17.lsp
+++ b/ansi-tests/cons-test-17.lsp
@@ -295,6 +295,10 @@
   (classify-error (rassoc 'a '((b . a)(c . d)) :key #'cons))
   program-error)
 
+(deftest rassoc.error.10
+  (classify-error (rassoc 'z '((a . b) . c)))
+  type-error)
+
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; rassoc-if
@@ -425,6 +429,10 @@
   (classify-error (rassoc-if #'identity '((a . b)(c . d)) :key #'car))
   type-error)
 
+(deftest rassoc-if.error.11
+  (classify-error (rassoc-if #'not '((a . b) . c)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; rassoc-if-not
 
@@ -557,3 +565,7 @@
 (deftest rassoc-if-not.error.10
   (classify-error (rassoc-if-not #'identity '((a . b)(c . d)) :key #'car))
   type-error)
+
+(deftest rassoc-if-not.error.11
+  (classify-error (rassoc-if-not #'identity '((a . b) . c)))
+  type-error)