Re: [Gcl-devel] An example of output from the clocc ansi tests

[Paul F. Dietz]

John Jorgensen wrote:

> Bugid: :ARRAY-LEGACY-366 interpreted Form: (SETF (AREF ZERO) 1.0)
> Should be an error of type: TYPE-ERROR
> AKCL: #<CONDITIONS::INTERNAL-SIMPLE-STREAM-ERROR.18> (Error in EVAL [or a
> callee]: Expected a FIXNUM )
> Why: ""

> The second test seems to produce the right result but in a format not
> understood by the test. The make-array that sets zero is;
> (make-array (quote nil) :element-type '(mod 5))

The problem here is that the spec, as far as I can tell, does not
require the implementation to signal an error here.  The behavior
is undefined (since 1.0 is not of type (mod 5)).  This test is
bogus.

        Paul