Update more test cases

s-expressionists · May 27, 2024 · 08cb321 · 08cb321
1 parent 1d09efa
commit 08cb321
Show file tree

Hide file tree

Showing 8 changed files with 25 additions and 262 deletions.
diff --git a/wscl-issues/draft/arithmetic-error-operands-operation-type-error b/wscl-issues/draft/arithmetic-error-operands-operation-type-error
@@ -37,8 +37,10 @@ Test Cases:
     (declare (optimize (safety 3)))
     (arithmetic-error-operation object))
 
-  (one 234) => ERROR: The value 234 is not of type ARITHMETIC-ERROR.
-  (two 234) => ERROR: The value 234 is not of type ARITHMETIC-ERROR.
+  (one 234)
+  ; => [signals TYPE-ERROR with expected type ARITHMETIC-ERROR]
+  (two 234)
+  ; => [signals TYPE-ERROR with expected type ARITHMETIC-ERROR]
 
 Rationale:
 
@@ -47,42 +49,6 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.8.1-dev-fasl43
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
-  ACL 10.1
-    (one 234) => [signals program-error]
-    (two 234) => [signals program-error]
-
-  CCL 1.12-f98
-    (one 234) => [signals error]
-    (two 234) => [signals error]
-
-  CLASP cclasp-boehmprecise-0.4.2-4548-g80d9caef9-cst
-    (one 234) => [signals error]
-    (two 234) => [signals error]
-
-  CLISP 2.49.93+
-    (one 234) => [signals simple-type-error]
-    (two 234) => [signals simple-type-error]
-
-  CMU 2019-05-27 16:42:54 (21D Unicode)
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
-  ECL 21.2.1-e68e6827
-    (one 234) => [signals simple-error]
-    (two 234) => [signals simple-error]
-
-  LWPE 7.1.2
-    (one 234) => [signals simple-error]
-    (two 234) => [signals simple-error]
-
-  SBCL 2.1.7
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
 Cost to Implementors:
 
   Very small.  We believe that most implementations are already

diff --git a/wscl-issues/draft/cell-error-name-type-error b/wscl-issues/draft/cell-error-name-type-error
@@ -31,7 +31,7 @@ Test Cases:
     (declare (optimize (safety 3)))
     (cell-error-name object))
 
-  (one 234) => ERROR: The value 234 is not of type CELL-ERROR.
+  (one 234) ; => [signals TYPE-ERROR with expected type CELL-ERROR]
 
 Rationale:
 
@@ -40,33 +40,6 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.8.1-dev-fasl43
-    (one 234) => [signals type-error]
-
-  ACL 10.1
-    (one 234) => [signals program-error]
-
-  CCL 1.12-f98
-    (one 234) => [signals error]
-
-  CLASP cclasp-boehmprecise-0.4.2-4548-g80d9caef9-cst
-    (one 234) => [signals error]
-
-  CLISP 2.49.93+
-    (one 234) => [signals simple-type-error]
-
-  CMU 2019-05-27 16:42:54 (21D Unicode)
-    (one 234) => [signals type-error]
-
-  ECL 21.2.1-e68e6827
-    (one 234) => [signals simple-error]
-
-  LWPE 7.1.2
-    (one 234) => [signals simple-error]
-
-  SBCL 2.1.7
-    (one 234) => [signals type-error]
-
 Cost to Implementors:
 
   Very small.  We believe that most implementations are already

diff --git a/wscl-issues/draft/char-schar-type-error b/wscl-issues/draft/char-schar-type-error
@@ -34,8 +34,8 @@ Test Cases:
     (declare (optimize (safety 3)))
     (schar object 0))
 
-  (one 234) => ERROR: The value 234 is not of type STRING.
-  (two 234) => ERROR: The value 234 is not of type STRING.
+  (one 234) ; => [signals TYPE-ERROR with expected type STRING]
+  (two 234) ; => [signals TYPE-ERROR with expected type SIMPLE-STRING]
 
 Rationale:
 
@@ -44,42 +44,6 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.8.1-dev-fasl43
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
-  ACL 10.1
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
-  CCL 1.12-f98
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
-  CLASP cclasp-boehmprecise-0.4.2-4548-g80d9caef9-cst
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
-  CLISP 2.49.93+
-    (one 234) => [signals simple-type-error]
-    (two 234) => [signals simple-type-error]
-
-  CMU 2019-05-27 16:42:54 (21D Unicode)
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
-  ECL 21.2.1-e68e6827
-    (one 234) => [signals simple-type-error]
-    (two 234) => [signals simple-type-error]
-
-  LWPE 7.1.2
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
-  SBCL 2.1.7
-    (one 234) => [signals type-error]
-    (two 234) => [signals type-error]
-
 Cost to Implementors:
 
   Very small.  We believe that most implementations are already

diff --git a/wscl-issues/draft/clrhash-type-error b/wscl-issues/draft/clrhash-type-error
@@ -29,7 +29,7 @@ Test Cases:
     (declare (optimize (safety 3)))
     (clrhash object))
 
-  (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
+  (one 234) ; => [signals TYPE-ERROR with expected type HASH-TABLE]
 
 Rationale:
 
@@ -38,34 +38,6 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.8.1-dev-fasl43
-    (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
-
-  ACL 10.1
-    (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
-
-  CCL 1.12-f98
-    (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
-
-  CLASP cclasp-boehmprecise-0.4.2-4619-g23bf6aa3d-cst
-    (one 234) => [signals TYPE-ERROR with expected type
-                   CORE:HASH-TABLE-BASE]
-
-  CLISP 2.49.93+
-    (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
-
-  CMU 2019-05-27 16:42:54 (21D Unicode)
-    (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
-
-  ECL 21.2.1-e68e6827
-    (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
-
-  LWPE 7.1.2
-    (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
-
-  SBCL 2.1.7
-    (one 234) => [signals TYPE-ERROR with expected type HASH-TABLE]
-
 Cost to Implementors:
 
   Very small.  We believe that most implementations are already

diff --git a/wscl-issues/draft/digit-char-p-type-error b/wscl-issues/draft/digit-char-p-type-error
@@ -27,7 +27,7 @@ Test Cases:
     (declare (optimize (safety 3)))
     (digit-char-p object))
 
-  (one 234) => ERROR: The value 234 is not of type CHARACTER.
+  (one 234) ; => [signals TYPE-ERROR with expected type CHARACTER]
 
 Rationale:
 
@@ -38,11 +38,6 @@ Rationale:
 
 Current Practice:
 
-  SBCL 2.1.3
-    (one 234) => [signals a type error]
-
-  TODO: check other implementations.
-
 Cost to Implementors:
 
   Very small.  We believe that most implementations are already

diff --git a/wscl-issues/draft/export-type-error b/wscl-issues/draft/export-type-error
@@ -29,8 +29,9 @@ Test Cases:
     (declare (optimize (safety 3)))
     (export 'abc object))
 
-  (one 234) => [signals TYPE-ERROR with expected type
-                 (OR STRING SYMBOL CHARACTER PACKAGE)]
+  (one 234)
+  ; => [signals TYPE-ERROR with expected type
+  ;     (OR STRING SYMBOL CHARACTER PACKAGE)]
 
 Rationale:
 
@@ -39,39 +40,6 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.8.1-dev-fasl43
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR STRING SYMBOL CHARACTER)]
-
-  ACL 10.1
-    (one 234) => [signals TYPE-ERROR with expected type PACKAGE]
-
-  CCL 1.12-f98
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR PACKAGE CHARACTER SYMBOL STRING)]
-
-  CLASP cclasp-boehmprecise-0.4.2-4619-g23bf6aa3d-cst
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR STRING SYMBOL CHARACTER)]
-
-  CLISP 2.49.93+
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR PACKAGE STRING SYMBOL CHARACTER)]
-
-  CMU 2019-05-27 16:42:54 (21D Unicode)
-    (one 234) => [signals SIMPLE-ERROR]
-
-  ECL 21.2.1-e68e6827
-    (one 234) => [signals TYPE-ERROR with expected type STRING]
-
-  LWPE 7.1.2
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR STRING SYMBOL CHARACTER)]
-
-  SBCL 2.1.7
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR STRING SYMBOL CHARACTER PACKAGE)]
-
 Cost to Implementors:
 
   Very small.  We believe that most implementations are already

diff --git a/wscl-issues/draft/fill-pointer-valid-fill-pointer b/wscl-issues/draft/fill-pointer-valid-fill-pointer
@@ -23,67 +23,24 @@ Proposal:
 
 Test cases:
 
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) -1))
+  (defun one ()
+    (let ((v (make-array 10 :fill-pointer t)))
+      (setf (fill-pointer v) -1)))
 
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) 11))
+  (one) ; => [signals TYPE-ERROR with expected type (INTEGER 0 10)]
+
+  (defun two ()
+    (let ((v (make-array 10 :fill-pointer t)))
+      (setf (fill-pointer v) 11)))
+
+  (two) ; => [signals TYPE-ERROR with expected type (INTEGER 0 10)]
 
 Rationale:
 
   We think it is a simple omission in the draft ANSI specification.
 
 Current Practice:
 
-  SBCL 2.1.3
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) -1)) => [signals a simple-type-error]
-
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) 11)) => [signals a simple-type-error]
-
-  CCL 1.12.1
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) -1)) => [signals a simple-type-error]
-
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) 11)) => [signals a simple-type-error]
-
-  ECL 23.9.9
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) -1)) => [signals a simple-type-error]
-
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) 11)) => [signals a simple-type-error]
-
-  Clasp 2.5.0
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) -1)) => [signals a simple-type-error]
-
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) 11)) => [signals a simple-type-error]
-
-  CLISP 2.49.92
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) -1)) => [signals a simple-type-error]
-
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) 11)) => [signals a simple-type-error]
-
-  GCL 2.6.14
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) -1)) => [signals an internal-simple-error]
-
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) 11)) => [signals an internal-simple-error]
-
-  ABCL 1.9.2
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) -1)) => [signals an error other than type-error]
-
-  (let ((v (make-array 10 :fill-pointer t)))
-    (setf (fill-pointer v) 11)) => [signals an error other than type-error]
-
 Cost to Implementors:
 
   Very small.  We believe that most implementations are already

diff --git a/wscl-issues/draft/find-package-type-error b/wscl-issues/draft/find-package-type-error
@@ -30,8 +30,9 @@ Test Cases:
     (declare (optimize (safety 3)))
     (find-package object))
 
-  (one 234) => [signals TYPE-ERROR with expected type
-                 (OR CHARACTER PACKAGE STRING SYMBOL)]
+  (one 234)
+  ; => [signals TYPE-ERROR with expected type
+  ;     (OR CHARACTER PACKAGE STRING SYMBOL)]
 
 Rationale:
 
@@ -40,39 +41,6 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.8.1-dev-fasl43
-    (one 234) => NIL
-
-  ACL 10.1
-    (one 234) => [signals TYPE-ERROR with expected type STRING]
-
-  CCL 1.12-f98
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR PACKAGE CHARACTER SYMBOL STRING)]
-
-  CLASP cclasp-boehmprecise-0.4.2-4619-g23bf6aa3d-cst
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR STRING SYMBOL CHARACTER)]
-
-  CLISP 2.49.93+
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR STRING SYMBOL CHARACTER)]
-
-  CMU 2019-05-27 16:42:54 (21D Unicode)
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR BASE-STRING SYMBOL BASE-CHAR PACKAGE)]
-
-  ECL 21.2.1-e68e6827
-    (one 234) => [signals TYPE-ERROR with expected type STRING]
-
-  LWPE 7.1.2
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR STRING SYMBOL CHARACTER)]
-
-  SBCL 2.1.7
-    (one 234) => [signals TYPE-ERROR with expected type
-                   (OR CHARACTER PACKAGE STRING SYMBOL)]
-
 Cost to Implementors:
 
   Very small.  We believe that most implementations are already