Re: [Gcl-devel] (type-of (gensym)) is not symbol anymore? (didn't it use to be?)

[Camm Maguire]

Greetings, and thanks for checking out the master branch!

(subtypep 'si::gsym 'symbol) -> T T

(deftype true nil `(member t))
(deftype null () `(member nil))
(deftype boolean () `(or true null))

(deftype symbol () `(or boolean keyword gsym))

This is to support more fine-grained compiler optimizations.  All
ansi-tests for type-of et.al. pass, so I think it is compliant with the
spec.   Does it cause intractable problems for you?

Take care,



Jeronimo Pellegrini <address@hidden> writes:

> Hello,
>
> Today I noticed that some of my code that works on the
> Debian packaged version of GCL doesn't work with the latest 
> git checkout (master branch, 955c7fa7..., Thu Sep 13 16:32:27).
>
> This is what happens: I check the type of variables that 
> have content generated by gensym, and so far I thought that 
> (type-of (gensym)), of, for that matter, (type-of x), where 
> x contains the return value of (gensym), would always be 
> SYMBOL. But it is not anymore:
>
> $ GCL_ANSI=1 gcl
> GCL (GNU Common Lisp)  2.7.0 ANSI    Nov  6 2018 23:26:25
> Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (XGCL READLINE 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.
> Temporary directory for compiler files set to /tmp/user/1000/
>
>>(type-of (gensym))
>
> SYSTEM:GSYM
>
> I configured GCL as:
> ./configure --enable-ansi
>             --enable-readline 
>             --enable-notify=yes
>             --enable-emacsdir=/usr/local/share/emacs/site-lisp
>             --mandir=/usr/local/share/man
>             --enable-infodir=/usr/local/share/info 
>
>
> The debian version (2.6.12-80 in sid/unstable) returns "SYMBOL" 
> (ECL, Clisp, CCL and SBCL also return SYMBOL).
>
> Is this a planned change for the next release? Or is it a bug?
> (Shouldn't GSYM be a subtype of SYMBOL, perhaps?)
>
> Thanks a lot,
> J.
>
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/gcl-devel
>
>
>

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