search

s-expressionists / wscl

Sources of the "Well Specified Common Lisp" specification which is based on the final draft of the Common Lisp standard but is not a new Common Lisp standard.
https://s-expressionists.github.io/wscl/
Other
38 stars 4 forks source link

AREF-ACCESSOR-DIMENSION-ERROR results #22

Open phoe opened 2 years ago

phoe commented 2 years ago

https://github.com/s-expressionists/wscl/blob/6edde3b932d5bb44512cffb843839b629cc19847/wscl-issues/proposed/aref-accessor-dimension-error#L52-L88

Question: is a TYPE-ERROR signaled in these cases?

Test cases for the above question:

(progn
  (defun one (object)
    (declare (optimize (safety 3)))
    (aref object 1))
  (defun two (object)
    (declare (optimize (safety 3)))
    (setf (aref object 1) 345))
  (list (if (typep (nth-value 1 (ignore-errors (one (make-array 1 :initial-element nil))))
                   'type-error)
            t nil)
        (if (typep (nth-value 1 (ignore-errors (two (make-array 1 :initial-element nil))))
                   'type-error)
            t nil)))

Results:

CCL: (NIL NIL) ECL: (T T) CLISP: (T T) ABCL: (T T) Clasp: (T T) CMUCL: (NIL NIL) ACL: (T T) LWPE: (NIL NIL)