Add more implementations

s-expressionists · May 23, 2024 · fb8e0ba · fb8e0ba
1 parent 213d667
commit fb8e0ba
Show file tree

Hide file tree

Showing 10 changed files with 129 additions and 316 deletions.
diff --git a/.github/workflows/update-current-practice.yml b/.github/workflows/update-current-practice.yml
@@ -24,16 +24,13 @@ jobs:
       run: |
         make-rc
         asdf-add
-    - name: ABCL Current Practice
+    - name: Update Current Practice
       run: |
-        lisp -i abcl -e "(ql:quickload :wscl-evaluator)" -e "(wscl-evaluator:eval-issues)"
-    - name: SBCL Current Practice
-      run: |
-        pwd
-        lisp -i sbcl -e "(ql:quickload :wscl-evaluator)" -e "(wscl-evaluator:eval-issues)"
+        for lisp in abcl ccl clasp ecl sbcl; do
+          lisp -i $lisp -e "(ql:quickload :wscl-evaluator)" -e "(wscl-evaluator:eval-issues)"
+        done
     - name: diff
       run: |
-        pwd
         git config --global --add safe.directory $(realpath .)
         git diff --output=diff.patch
     - uses: actions/upload-artifact@v4

diff --git a/wscl-issues/draft/abort-function b/wscl-issues/draft/abort-function
@@ -49,37 +49,32 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.9.3-dev-fasl43
-    (one) ; => [signals CONTROL-ERROR]
+  ABCL 1.8.1-dev-fasl43
+    (one) => [signals control-error]
 
   ACL 10.1
     (one) => nil
 
   CCL 1.12-f98
-    (one) ; => [signals CONTROL-ERROR]
+    (one) => [signals restart-failure which is not a defined condition]
 
-  CLASP cclasp-boehmprecise-2.5.0-235-ge805dd64a-gfb774da1-cst
-    (one) ; => [signals CONTROL-ERROR]
+  CLASP cclasp-boehmprecise-0.4.2-4610-g5e6b2fa12-cst
+    (one) => [signals control-error]
 
   CLISP 2.49.93+
     (one) => nil
 
-  CMU 2024-03-10 18:28:32 (21E Unicode)
-    (one) ; => [signals CONTROL-ERROR]
+  CMU 2019-05-27 16:42:54 (21D Unicode)
+    (one) => [signals control-error]
 
-  ECL 23.9.9-UNKNOWN
-    (one) ; => [signals CONTROL-ERROR]
+  ECL 21.2.1-e68e6827
+    (one) => [signals control-error]
 
   LWPE 7.1.2
     (one) => nil
 
-  SBCL 2.4.1
-    (one) ; => [signals CONTROL-ERROR]
-
-
-CLISP 2.49.93+
-  (one) 
- => NIL
+  SBCL 2.1.7
+    (one) => [signals control-error]
 
 Cost to Implementors:
 

diff --git a/wscl-issues/draft/adjust-array-displaced-to-constraints b/wscl-issues/draft/adjust-array-displaced-to-constraints
@@ -83,44 +83,50 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.9.3-dev-fasl43
-    (one) ; => #(1 1 1 2)
-    (two) ; => #(2 2 2 2)
-    (three) ; => #(1 1 1 0)
+  ABCL 1.8.1-dev-fasl43
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => #(1 1 1 0) ; not conforming under ALLOW-NIL
+
+  ACL 10.1
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => #(1 1 1 nil) ; not conforming under ALLOW-NIL
 
   CCL 1.12-f98
-    (one) ; => #(1 1 1 2)
-    (two) ; => #(2 2 2 2)
-    (three) ; => [signals SIMPLE-ERROR]
-
-  CLASP cclasp-boehmprecise-2.5.0-235-ge805dd64a-gfb774da1-cst
-    (one) ; => #(1 1 1 2)
-    (two) ; => #(2 2 2 2)
-    (three) ; => #(1 1 1 0)
-
-  CMU 2024-03-10 18:28:32 (21E Unicode)
-    (one) ; => #(1 1 1 2)
-    (two) ; => #(2 2 2 2)
-    (three) ; => #(1 1 1 0)
-
-  ECL 23.9.9-UNKNOWN
-    (one) ; => #(1 1 1 2)
-    (two) ; => #(2 2 2 2)
-    (three) ; => #(1 1 1 NIL)
-
-  SBCL 2.4.1
-    (one) ; => #(1 1 1 2)
-    (two) ; => #(2 2 2 2)
-    (three) ; => [signals SIMPLE-ERROR]
-
-
-CLISP 2.49.93+
-  (one) 
- => #(1 1 1 2)
-  (two) 
- => #(2 2 2 2)
-  (three) 
- => [signals SIMPLE-ERROR]
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => [signals simple-error]
+
+  CLISP 2.49.93+
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => [signals simple-error]
+
+  CLASP cclasp-boehmprecise-0.4.2-4548-g80d9caef9-cst
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => #(1 1 1 0) ; not conforming under ALLOW-NIL
+
+  CMU 2019-05-27 16:42:54 (21D Unicode)
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => #(1 1 1 0) ; not conforming under ALLOW-NIL
+
+  ECL 21.2.1-e68e6827
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => #(1 1 1 nil) ; not conforming under ALLOW-NIL
+
+  LWPE 7.1.2
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => #(1 1 1 nil) ; not conforming under ALLOW-NIL
+
+  SBCL 2.1.7
+    (one) => #(1 1 1 2)
+    (two) => #(2 2 2 2)
+    (three) => [signals simple-error]
 
 Cost to Implementors:
 

diff --git a/wscl-issues/draft/aref-accessor-dimension-error b/wscl-issues/draft/aref-accessor-dimension-error
@@ -51,68 +51,59 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.9.3-dev-fasl43
+  ABCL ???
     (one (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (INTEGER 0 0)]
+      => [signals a type-error]
     (two (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (INTEGER 0 0)]
+      => [signals a type-error]
 
   ACL ???
     (one (make-array 1 :initial-element nil))
       => [signals a type-error]
     (two (make-array 1 :initial-element nil))
       => [signals a type-error]
 
-  CCL 1.12-f98
+  CCL ???
     (one (make-array 1 :initial-element nil))
-    ; => [signals SIMPLE-ERROR]
+      => [does not signal a type-error]
     (two (make-array 1 :initial-element nil))
-    ; => [signals SIMPLE-ERROR]
+      => [does not signal a type-error]
 
-  CLASP cclasp-boehmprecise-2.5.0-235-ge805dd64a-gfb774da1-cst
+  CLASP ???
     (one (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (INTEGER 0 (1))]
+      => [signals a type-error]
     (two (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (INTEGER 0 (1))]
+      => [signals a type-error]
 
   CLISP ???
     (one (make-array 1 :initial-element nil))
       => [signals a type-error]
     (two (make-array 1 :initial-element nil))
       => [signals a type-error]
 
-  CMU 2024-03-10 18:28:32 (21E Unicode)
+  CMU ???
     (one (make-array 1 :initial-element nil))
-    ; => [signals SIMPLE-ERROR]
+      => [does not signal a type-error]
     (two (make-array 1 :initial-element nil))
-    ; => [signals SIMPLE-ERROR]
+      => [does not signal a type-error]
 
-  ECL 23.9.9-UNKNOWN
+  ECL ???
     (one (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (INTEGER 0 0)]
+      => [signals a type-error]
     (two (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (INTEGER 0 0)]
+      => [signals a type-error]
 
   LWPE ???
     (one (make-array 1 :initial-element nil))
       => [signals a condition:array-error but not a type-error]
     (two (make-array 1 :initial-element nil))
       => [signals a condition:array-error but not a type-error]
 
-  SBCL 2.4.1
+  SBCL 2.1.3
     (one (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (INTEGER 0 (1))]
-    (two (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (INTEGER 0 (1))]
-
-
-CLISP 2.49.93+
-  (one (make-array 1 :initial-element nil)) 
- => [signals TYPE-ERROR with expected type (INTEGER
-                                                               0 (1))]
-  (two (make-array 1 :initial-element nil)) 
- => [signals TYPE-ERROR with expected type (INTEGER
-                                                         0 (1))]
+      => [signals invalid-array-index-error, a subclass of type-error]
+    (two (make-array 1 :initial-element nil)
+      => [signals invalid-array-index-error, a subclass of type-error]
 
 Cost to Implementors:
 

diff --git a/wscl-issues/draft/aref-accessor-rank-error b/wscl-issues/draft/aref-accessor-rank-error
@@ -50,61 +50,41 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.9.3-dev-fasl43
-    (one (make-array 1 :initial-element nil))
-    ; => [signals PROGRAM-ERROR]
-    (two (make-array 1 :initial-element nil))
-    ; => [signals PROGRAM-ERROR]
+  ABCL 1.8.1-dev-fasl43
+    (one (make-array 1 :initial-element nil)) => [signals program-error]
+    (two (make-array 1 :initial-element nil)) => [signals program-error]
 
   ACL 10.1
     (one (make-array 1 :initial-element nil)) => [signals simple-error]
     (two (make-array 1 :initial-element nil)) => [signals simple-error]
 
   CCL 1.12-f98
-    (one (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type #1=(ARRAY * (* *))]
-    (two (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type #1#]
+    (one (make-array 1 :initial-element nil)) => [signals type-error]
+    (two (make-array 1 :initial-element nil)) => [signals type-error]
 
-  CLASP cclasp-boehmprecise-2.5.0-235-ge805dd64a-gfb774da1-cst
-    (one (make-array 1 :initial-element nil))
-    ; => [signals PROGRAM-ERROR]
-    (two (make-array 1 :initial-element nil))
-    ; => [signals PROGRAM-ERROR]
+  CLASP cclasp-boehmprecise-0.4.2-4548-g80d9caef9-cst
+    (one (make-array 1 :initial-element nil)) => [signals program-error]
+    (two (make-array 1 :initial-element nil)) => [signals program-error]
 
   CLISP 2.49.93+
     (one (make-array 1 :initial-element nil)) => [signals simple-error]
     (two (make-array 1 :initial-element nil)) => [signals simple-error]
 
-  CMU 2024-03-10 18:28:32 (21E Unicode)
-    (one (make-array 1 :initial-element nil))
-    ; => [signals PROGRAM-ERROR]
-    (two (make-array 1 :initial-element nil))
-    ; => [signals PROGRAM-ERROR]
+  CMU 2019-05-27 16:42:54 (21D Unicode)
+    (one (make-array 1 :initial-element nil)) => [signals program-error]
+    (two (make-array 1 :initial-element nil)) => [signals program-error]
 
-  ECL 23.9.9-UNKNOWN
-    (one (make-array 1 :initial-element nil))
-    ; => [signals SIMPLE-ERROR]
-    (two (make-array 1 :initial-element nil))
-    ; => [signals SIMPLE-ERROR]
+  ECL 21.2.1-e68e6827
+    (one (make-array 1 :initial-element nil)) => [signals simple-error]
+    (two (make-array 1 :initial-element nil)) => [signals simple-error]
 
   LWPE 7.1.2
     (one (make-array 1 :initial-element nil)) => [signals error]
     (two (make-array 1 :initial-element nil)) => [signals error]
 
-  SBCL 2.4.1
-    (one (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (ARRAY * (* *))]
-    (two (make-array 1 :initial-element nil))
-    ; => [signals TYPE-ERROR with expected type (ARRAY * (* *))]
-
-
-CLISP 2.49.93+
-  (one (make-array 1 :initial-element nil)) 
- => [signals SIMPLE-ERROR]
-  (two
-  (make-array 1 :initial-element nil)) 
- => [signals SIMPLE-ERROR]
+  SBCL 2.1.7
+    (one (make-array 1 :initial-element nil)) => [signals type-error]
+    (two (make-array 1 :initial-element nil)) => [signals type-error]
 
 Cost to Implementors:
 

diff --git a/wscl-issues/draft/aref-accessor-type-error b/wscl-issues/draft/aref-accessor-type-error
@@ -47,49 +47,41 @@ Rationale:
 
 Current Practice:
 
-  ABCL 1.9.3-dev-fasl43
-    (one 234) ; => [signals TYPE-ERROR with expected type ARRAY]
-    (two 234) ; => [signals TYPE-ERROR with expected type ARRAY]
+  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 with expected type ARRAY]
-    (two 234) ; => [signals TYPE-ERROR with expected type ARRAY]
+    (one 234) => [signals type-error]
+    (two 234) => [signals type-error]
 
-  CLASP cclasp-boehmprecise-2.5.0-235-ge805dd64a-gfb774da1-cst
-    (one 234) ; => [signals TYPE-ERROR with expected type ARRAY]
-    (two 234) ; => [signals TYPE-ERROR with expected type ARRAY]
+  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 2024-03-10 18:28:32 (21E Unicode)
-    (one 234) ; => [signals TYPE-ERROR with expected type ARRAY]
-    (two 234) ; => [signals TYPE-ERROR with expected type ARRAY]
+  CMU 2019-05-27 16:42:54 (21D Unicode)
+    (one 234) => [signals type-error]
+    (two 234) => [signals type-error]
 
-  ECL 23.9.9-UNKNOWN
-    (one 234) ; => [signals TYPE-ERROR with expected type ARRAY]
-    (two 234) ; => [signals TYPE-ERROR with expected type ARRAY]
+  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.4.1
-    (one 234) ; => [signals TYPE-ERROR with expected type VECTOR]
-    (two 234) ; => [signals TYPE-ERROR with expected type VECTOR]
-
-
-CLISP 2.49.93+
-  (one 234) 
- => [signals TYPE-ERROR with expected type ARRAY]
-  (two
-  234) 
- => [signals TYPE-ERROR with expected type ARRAY]
+  SBCL 2.1.7
+    (one 234) => [signals type-error]
+    (two 234) => [signals type-error]
 
 Cost to Implementors: