From 5c26fa55c72080bd299cfd06e338189dc3a5da26 Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Fri, 7 Mar 2003 13:30:54 +0000 Subject: [PATCH] More section 14.1.2.3 (paragraph 1) tests. --- ansi-tests/cons-test-15.lsp | 23 +++++++++++++++++++++++ ansi-tests/cons-test-16.lsp | 8 ++++++-- ansi-tests/cons-test-18.lsp | 20 ++++++++++++++++++++ ansi-tests/cons-test-19.lsp | 16 ++++++++++++++++ ansi-tests/cons-test-20.lsp | 11 +++++++++++ ansi-tests/cons-test-21.lsp | 7 +++++++ ansi-tests/cons-test-22.lsp | 16 ++++++++++++++++ ansi-tests/cons-test-23.lsp | 15 +++++++++++++++ ansi-tests/cons-test-24.lsp | 10 +++++++++- 9 files changed, 123 insertions(+), 3 deletions(-) diff --git a/ansi-tests/cons-test-15.lsp b/ansi-tests/cons-test-15.lsp index 89b2a8f6..b8868eb5 100644 --- a/ansi-tests/cons-test-15.lsp +++ b/ansi-tests/cons-test-15.lsp @@ -104,6 +104,10 @@ (classify-error (mapc #'car '(a b c))) type-error) +(deftest mapc.error.8 + (classify-error (mapc #'identity (list* 1 2 3 4))) + type-error) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; mapcar @@ -208,6 +212,9 @@ (classify-error (mapcar #'cons '(a b c) '(1 2 3) '(4 5 6))) program-error) +(deftest mapcar.error.8 + (classify-error (mapcar #'identity (list* 1 2 3 4))) + type-error) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; mapcan @@ -320,6 +327,10 @@ (classify-error (mapcan #'cons '(a b c) '(1 2 3) '(4 5 6))) program-error) +(deftest mapcan.error.8 + (classify-error (mapcan #'identity (list* (list 1) (list 2) 3))) + type-error) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; mapl @@ -443,6 +454,9 @@ (classify-error (mapl #'caar '(a b c))) type-error) +(deftest mapl.error.8 + (classify-error (mapl #'identity (list* (list 1) (list 2) 3))) + type-error) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; maplist @@ -574,6 +588,10 @@ (classify-error (maplist #'cons '(a b c) '(1 2 3) '(4 5 6))) program-error) +(deftest maplist.error.11 + (classify-error (maplist #'identity (list* (list 1) (list 2) 3))) + type-error) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; mapcon @@ -650,3 +668,8 @@ (deftest mapcon.error.7 (classify-error (mapcon #'cons '(a b c) '(1 2 3) '(4 5 6))) program-error) + +(deftest mapcon.error.8 + (classify-error (mapcon #'copy-tree (cons 1 2))) + type-error) + diff --git a/ansi-tests/cons-test-16.lsp b/ansi-tests/cons-test-16.lsp index 6a84305d..581e965d 100644 --- a/ansi-tests/cons-test-16.lsp +++ b/ansi-tests/cons-test-16.lsp @@ -693,9 +693,13 @@ program-error) (deftest pairlist.error.4 - (classify-error (pairlis 'a '(1) '(a b c))) + (classify-error (pairlis 'a '(1))) type-error) (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) diff --git a/ansi-tests/cons-test-18.lsp b/ansi-tests/cons-test-18.lsp index 679ca9d3..46526b25 100644 --- a/ansi-tests/cons-test-18.lsp +++ b/ansi-tests/cons-test-18.lsp @@ -78,6 +78,18 @@ (classify-error (get-properties nil nil nil)) 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 @@ -296,6 +308,14 @@ (classify-error (getf nil nil nil nil)) 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 diff --git a/ansi-tests/cons-test-19.lsp b/ansi-tests/cons-test-19.lsp index 1214a725..f36ccb08 100644 --- a/ansi-tests/cons-test-19.lsp +++ b/ansi-tests/cons-test-19.lsp @@ -388,6 +388,14 @@ (classify-error (intersection '(a b c) '(d e f) :key #'car)) 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 @@ -736,3 +744,11 @@ (deftest nintersection.error.10 (classify-error (nintersection (list 1 2 3) (list 4 5 6) :key #'car)) 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) diff --git a/ansi-tests/cons-test-20.lsp b/ansi-tests/cons-test-20.lsp index 6fc53beb..aac1033d 100644 --- a/ansi-tests/cons-test-20.lsp +++ b/ansi-tests/cons-test-20.lsp @@ -401,4 +401,15 @@ (classify-error (union (list 1 2) (list 3 4) :key #'car)) 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) + + + + diff --git a/ansi-tests/cons-test-21.lsp b/ansi-tests/cons-test-21.lsp index 9457df03..cb0658f1 100644 --- a/ansi-tests/cons-test-21.lsp +++ b/ansi-tests/cons-test-21.lsp @@ -400,3 +400,10 @@ (classify-error (nunion (list 1 2) (list 3 4) :key #'car)) 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) diff --git a/ansi-tests/cons-test-22.lsp b/ansi-tests/cons-test-22.lsp index 380d1d47..3b0d679b 100644 --- a/ansi-tests/cons-test-22.lsp +++ b/ansi-tests/cons-test-22.lsp @@ -310,6 +310,14 @@ (classify-error (set-difference (list 1 2) (list 3 4) :key #'car)) 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 @@ -611,3 +619,11 @@ (deftest nset-difference.error.10 (classify-error (nset-difference (list 1 2) (list 3 4) :key #'car)) 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) diff --git a/ansi-tests/cons-test-23.lsp b/ansi-tests/cons-test-23.lsp index 3ea4b730..bf2ad7a3 100644 --- a/ansi-tests/cons-test-23.lsp +++ b/ansi-tests/cons-test-23.lsp @@ -347,6 +347,14 @@ (classify-error (set-exclusive-or (list 1 2) (list 3 4) :key #'car)) 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 @@ -702,3 +710,10 @@ (classify-error (nset-exclusive-or (list 1 2) (list 3 4) :key #'car)) 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) diff --git a/ansi-tests/cons-test-24.lsp b/ansi-tests/cons-test-24.lsp index 04b07cd7..a010e17d 100644 --- a/ansi-tests/cons-test-24.lsp +++ b/ansi-tests/cons-test-24.lsp @@ -247,4 +247,12 @@ (deftest subsetp.error.10 (classify-error (subsetp (list 1 2) (list 3 4) :key #'car)) - type-error) \ No newline at end of file + type-error) + +(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) -- GitLab