gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Potential error in array type checking


From: Camm Maguire
Subject: [Gcl-devel] Potential error in array type checking
Date: Mon, 29 Jul 2002 18:31:53 -0400
User-agent: WEMI/1.13.7 (Shimada) FLIM/1.13.2 (Kasanui) Emacs/20.7 (i386-debian-linux-gnu) MULE/4.0 (HANANOEN)

Greetings!  I believe this is fixed in current cvs:

GCL (GNU Common Lisp)  Version(2.5.0) Mon Jul 29 16:39:06 EDT 2002
Licensed under GNU Library General Public License
Contains Enhancements by W. Schelter

>(and (the (simple-array T (1024)) (make-array 1024))
T)

T

>(defun foo () (and (the (simple-array T (1024)) (make-array 1024))
T))

FOO

>(compile 'foo)

Compiling gazonk0.lsp.
End of Pass 1.  
End of Pass 2.  
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling gazonk0.lsp.
Loading gazonk0.o
start address -T 0x86aa3b0 Finished loading gazonk0.o
#<compiled-function FOO>

>(foo)

T

>

Take care,


> Date: 2002-Feb-15 15:59
> Sender: robert.sumners
> Logged In: NO 
> Browser: Mozilla/4.78 [en] (X11; U; SunOS 5.5.1 sun4u)
> 
> At one point (I believe in GCL 2.2.2 and 2.3), I ran
> across the following problem:
> 
> % gcl
> ...
> 
> >(and (the (simple-array T (1024)) (make-array 1024))
> T)
> Error: #(NIL NIL NIL ...) is not of type (SIMPLE-ARRAY
> T (1024)).
> ...
> 
> >(and (the (simple-array T (1023)) (make-array 1023))
> T)
> T
> 
> This isn't a problem in most compiled code that I have
> run into (possibly because I am compiling at a low
> safety level).


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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]