From eb9f287848e18624a6c281d5ca057ba3d3a5eb70 Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Sun, 27 Jul 2003 03:47:37 +0000 Subject: [PATCH] Added :notes for :nil-vectors-are-strings tests. --- ansi-tests/concatenate.lsp | 2 ++ ansi-tests/copy-seq.lsp | 1 + ansi-tests/equal.lsp | 2 ++ ansi-tests/equalp.lsp | 2 ++ ansi-tests/gclload1.lsp | 2 ++ ansi-tests/make-string.lsp | 1 + ansi-tests/make-symbol.lsp | 1 + ansi-tests/notes.lsp | 9 +++++++-- ansi-tests/nstring-capitalize.lsp | 1 + ansi-tests/nstring-downcase.lsp | 1 + ansi-tests/nstring-upcase.lsp | 1 + ansi-tests/packages-04.lsp | 1 + ansi-tests/rt.lsp | 2 +- ansi-tests/string-capitalize.lsp | 1 + ansi-tests/string-comparisons.lsp | 24 ++++++++++++------------ ansi-tests/string-downcase.lsp | 2 +- ansi-tests/string-left-trim.lsp | 2 ++ ansi-tests/string-right-trim.lsp | 2 ++ ansi-tests/string-trim.lsp | 2 ++ ansi-tests/string-upcase.lsp | 1 + 20 files changed, 44 insertions(+), 16 deletions(-) diff --git a/ansi-tests/concatenate.lsp b/ansi-tests/concatenate.lsp index fd40f3a0..2f0284b0 100644 --- a/ansi-tests/concatenate.lsp +++ b/ansi-tests/concatenate.lsp @@ -185,10 +185,12 @@ nil) (deftest concatenate.31 + :notes (:nil-vectors-are-strings) (concatenate 'string "abc" (make-array '(0) :element-type nil) "def") "abcdef") (deftest concatenate.32 + :notes (:nil-vectors-are-strings) (concatenate '(array nil (*))) "") diff --git a/ansi-tests/copy-seq.lsp b/ansi-tests/copy-seq.lsp index 4cba413d..88894545 100644 --- a/ansi-tests/copy-seq.lsp +++ b/ansi-tests/copy-seq.lsp @@ -155,6 +155,7 @@ t) (deftest copy-seq.19 + :notes (:nil-vectors-are-strings) (copy-seq (make-array '(0) :element-type nil)) "") diff --git a/ansi-tests/equal.lsp b/ansi-tests/equal.lsp index e2ab6d78..1e0e7595 100644 --- a/ansi-tests/equal.lsp +++ b/ansi-tests/equal.lsp @@ -62,12 +62,14 @@ nil) (deftest equal.13 + :notes (:nil-vectors-are-strings) (let ((x (make-array '(0) :element-type nil)) (y (make-array '(0) :element-type nil))) (equalt x y)) t) (deftest equal.14 + :notes (:nil-vectors-are-strings) (and (equalt (make-array '(0) :element-type nil) "") (equalt "" (make-array '(0) :element-type nil))) diff --git a/ansi-tests/equalp.lsp b/ansi-tests/equalp.lsp index 81468ca2..9fce34fb 100644 --- a/ansi-tests/equalp.lsp +++ b/ansi-tests/equalp.lsp @@ -28,10 +28,12 @@ nil) (deftest equalp.5 + :notes (:allow-nil-arrays) (equalpt (make-array '(0) :element-type nil) #()) t) (deftest equalp.6 + :notes (:allow-nil-arrays) (equalpt (make-array '(0) :element-type nil) "") t) diff --git a/ansi-tests/gclload1.lsp b/ansi-tests/gclload1.lsp index 69c2cd65..5dd955a3 100644 --- a/ansi-tests/gclload1.lsp +++ b/ansi-tests/gclload1.lsp @@ -14,3 +14,5 @@ ;;; (load "ansi-aux.o") (load "cl-symbol-names.lsp") +(load "notes.lsp") + diff --git a/ansi-tests/make-string.lsp b/ansi-tests/make-string.lsp index e049444c..f76436f7 100644 --- a/ansi-tests/make-string.lsp +++ b/ansi-tests/make-string.lsp @@ -77,6 +77,7 @@ t) (deftest make-string.10 + :notes (:nil-vectors-are-strings) (let ((s (make-string 0 :element-type nil))) (values (notnot (stringp s)) diff --git a/ansi-tests/make-symbol.lsp b/ansi-tests/make-symbol.lsp index 522e198f..dd6a6457 100644 --- a/ansi-tests/make-symbol.lsp +++ b/ansi-tests/make-symbol.lsp @@ -47,6 +47,7 @@ "") (deftest make-symbol.11 + :notes (:nil-vectors-are-strings) (symbol-name (make-symbol (make-array '(0) :element-type nil))) "") diff --git a/ansi-tests/notes.lsp b/ansi-tests/notes.lsp index 376c6a6a..f366343a 100644 --- a/ansi-tests/notes.lsp +++ b/ansi-tests/notes.lsp @@ -8,5 +8,10 @@ (defnote :allow-nil-arrays "Allow specialized arrays of type (array nil).") -(defnote :allow-nonzero-nil-arrays - "Allow specialized arrays of type (array nil <dims>) of nonzero size.") +(defnote :allow-nonzero-nil-vectors + "Allow specialized vectors of type (vector nil) of nonzero size.") + +(defnote :nil-vectors-are-strings + "Assume that (VECTOR NIL) objects are strings.") + + diff --git a/ansi-tests/nstring-capitalize.lsp b/ansi-tests/nstring-capitalize.lsp index 98a454bb..5a11f73f 100644 --- a/ansi-tests/nstring-capitalize.lsp +++ b/ansi-tests/nstring-capitalize.lsp @@ -65,6 +65,7 @@ "") (deftest nstring-capitalize.12 + :notes (:nil-vectors-are-strings) (nstring-capitalize (make-array '(0) :element-type nil)) "") diff --git a/ansi-tests/nstring-downcase.lsp b/ansi-tests/nstring-downcase.lsp index e3b7ef27..1f20be25 100644 --- a/ansi-tests/nstring-downcase.lsp +++ b/ansi-tests/nstring-downcase.lsp @@ -68,6 +68,7 @@ ("abcde" "abcdE"))) (deftest nstring-downcase.11 + :notes (:nil-vectors-are-strings) (nstring-downcase (make-array '(0) :element-type nil)) "") diff --git a/ansi-tests/nstring-upcase.lsp b/ansi-tests/nstring-upcase.lsp index e9c80f48..2f2d9cfa 100644 --- a/ansi-tests/nstring-upcase.lsp +++ b/ansi-tests/nstring-upcase.lsp @@ -67,6 +67,7 @@ ("abcde" "abcdE"))) (deftest nstring-upcase.11 + :notes (:nil-vectors-are-strings) (nstring-upcase (make-array '(0) :element-type nil)) "") diff --git a/ansi-tests/packages-04.lsp b/ansi-tests/packages-04.lsp index 826c4714..5f5e6b52 100644 --- a/ansi-tests/packages-04.lsp +++ b/ansi-tests/packages-04.lsp @@ -49,6 +49,7 @@ t) (deftest intern.3 + :notes (:nil-vectors-are-strings) (let ((cl-user-package (find-package "CL-USER"))) (eqt (intern "" cl-user-package) (intern (make-array 0 :element-type nil) cl-user-package))) diff --git a/ansi-tests/rt.lsp b/ansi-tests/rt.lsp index ed1256d3..6f69eb1e 100644 --- a/ansi-tests/rt.lsp +++ b/ansi-tests/rt.lsp @@ -357,7 +357,7 @@ (let ((note (make-note :name ',name :contents ',contents :disabled ',disabled))) - (setf (gethash *notes* (note-name note)) note) + (setf (gethash (note-name note) *notes*) note) note))) (defun disable-note (n) diff --git a/ansi-tests/string-capitalize.lsp b/ansi-tests/string-capitalize.lsp index 6c8509e5..0b799d58 100644 --- a/ansi-tests/string-capitalize.lsp +++ b/ansi-tests/string-capitalize.lsp @@ -85,6 +85,7 @@ "ABCDEF") (deftest string-capitalize.11 + :notes (:nil-vectors-are-strings) (string-capitalize (make-array '(0) :element-type nil)) "") diff --git a/ansi-tests/string-comparisons.lsp b/ansi-tests/string-comparisons.lsp index 66c5e901..e7df8f1f 100644 --- a/ansi-tests/string-comparisons.lsp +++ b/ansi-tests/string-comparisons.lsp @@ -506,6 +506,7 @@ ;;; Tests on nil arrays (deftest string=.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (notnot (string= s1 s1)) @@ -518,6 +519,7 @@ t t t t t nil nil) (deftest string/=.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string/= s1 s1) @@ -530,6 +532,7 @@ nil nil nil nil nil 0 0) (deftest string<.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string< s1 s1) @@ -542,6 +545,7 @@ nil nil nil nil nil 0 nil) (deftest string<=.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string<= s1 s1) @@ -554,6 +558,7 @@ 0 0 0 0 0 0 nil) (deftest string>.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string> s1 s1) @@ -566,6 +571,7 @@ nil nil nil nil nil nil 0) (deftest string>=.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string>= s1 s1) @@ -578,6 +584,7 @@ 0 0 0 0 0 nil 0) (deftest string-equal.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (notnot (string-equal s1 s1)) @@ -590,6 +597,7 @@ t t t t t nil nil) (deftest string-not-equal.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string-not-equal s1 s1) @@ -602,6 +610,7 @@ nil nil nil nil nil 0 0) (deftest string-lessp.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string-lessp s1 s1) @@ -614,6 +623,7 @@ nil nil nil nil nil 0 nil) (deftest string-not-greaterp.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string-not-greaterp s1 s1) @@ -626,6 +636,7 @@ 0 0 0 0 0 0 nil) (deftest string-greaterp.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string-greaterp s1 s1) @@ -638,6 +649,7 @@ nil nil nil nil nil nil 0) (deftest string-not-lessp.nil-array.1 + :notes (:nil-vectors-are-strings) (let ((s1 (make-array '(0) :element-type nil))) (values (string-not-lessp s1 s1) @@ -648,15 +660,3 @@ (string-not-lessp s1 "a") (string-not-lessp "a" s1))) 0 0 0 0 0 nil 0) - - - - - - - - - - - - diff --git a/ansi-tests/string-downcase.lsp b/ansi-tests/string-downcase.lsp index 7377c713..9b3eb410 100644 --- a/ansi-tests/string-downcase.lsp +++ b/ansi-tests/string-downcase.lsp @@ -81,10 +81,10 @@ "ABCDE") (deftest string-downcase.11 + :notes (:nil-vectors-are-strings) (string-downcase (make-array '(0) :element-type nil)) "") - (deftest string-downcase.order.1 (let ((i 0) a b c (s (copy-seq "ABCDEF"))) (values diff --git a/ansi-tests/string-left-trim.lsp b/ansi-tests/string-left-trim.lsp index 19fb44e9..491228dc 100644 --- a/ansi-tests/string-left-trim.lsp +++ b/ansi-tests/string-left-trim.lsp @@ -142,10 +142,12 @@ "") (deftest string-left-trim.20 + :notes (:nil-vectors-are-strings) (string-left-trim "abcd" (make-array '(0) :element-type nil)) "") (deftest string-left-trim.21 + :notes (:nil-vectors-are-strings) (string-left-trim (make-array '(0) :element-type nil) "abcd") "abcd") diff --git a/ansi-tests/string-right-trim.lsp b/ansi-tests/string-right-trim.lsp index 33b562d1..59af7b1b 100644 --- a/ansi-tests/string-right-trim.lsp +++ b/ansi-tests/string-right-trim.lsp @@ -142,10 +142,12 @@ "") (deftest string-right-trim.20 + :notes (:nil-vectors-are-strings) (string-right-trim "abcd" (make-array '(0) :element-type nil)) "") (deftest string-right-trim.21 + :notes (:nil-vectors-are-strings) (string-right-trim (make-array '(0) :element-type nil) "abcd") "abcd") diff --git a/ansi-tests/string-trim.lsp b/ansi-tests/string-trim.lsp index ec432f51..281d6981 100644 --- a/ansi-tests/string-trim.lsp +++ b/ansi-tests/string-trim.lsp @@ -142,10 +142,12 @@ "") (deftest string-trim.20 + :notes (:nil-vectors-are-strings) (string-trim "abcd" (make-array '(0) :element-type nil)) "") (deftest string-trim.21 + :notes (:nil-vectors-are-strings) (string-trim (make-array '(0) :element-type nil) "abcd") "abcd") diff --git a/ansi-tests/string-upcase.lsp b/ansi-tests/string-upcase.lsp index 8777beee..e2d9781b 100644 --- a/ansi-tests/string-upcase.lsp +++ b/ansi-tests/string-upcase.lsp @@ -81,6 +81,7 @@ "abcde") (deftest string-upcase.11 + :notes (:nil-vectors-are-strings) (string-upcase (make-array '(0) :element-type nil)) "") -- GitLab