[Top][All Lists]
[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Potential error in array type checking,
Camm Maguire <=