[Gcl-devel] Re: setf/aref dimensionality checking

[Camm Maguire]

Greetings, and thanks!  Should be fixed now.  Of course, no check when
compiled at safety 0 by design.

Take care,

Robert Boyer <address@hidden> writes:

> The following transcript illustrates that the GCL interpreter, when
> interpreting a (setf (aref ...) ...) form, does not do error checking on the
> dimensions of the array, as it might.
> 
> Similarly, if we have declared (proclaim '(type (simple-array t) *a*)), then
> the compiler might also catch the dimension error.  If such errors are not
> caught, their effects can be marvelous to behold, as the transcript
> illustrates.
> 
> Bob and Warren
> 
> -------------------------------------------------------------------------------
> 
> 
> GCL (GNU Common Lisp)  2.7.0 ANSI    Nov 27 2005 13:38:44
> Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd)
> Binary License:  GPL due to GPL'ed components: (BFD UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
> 
> Use (help) to get some basic information on how to use GCL.
> 
> >(proclaim '(optimize (safety 3)))
> 
> NIL
> 
> >(defparameter *a* (make-array 10))
> 
> *A*
> 
> >(setf (aref *a* 1 3 2 0)
>       (setf (aref *a* 0)
>             0))
> 
> 3
> 
> >*a*
> 
> #(0 3 NIL NIL NIL NIL NIL NIL NIL NIL)
> 
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah