From: Camm Maguire <c...@maguirefamily.org> To: Matt Kaufmann <kaufm...@cs.utexas.edu> Subject: Re: #@ and #! readers References: <201304200210.r3k2a7w3019...@sloth.cs.utexas.edu> cc: gcl-devel@gnu.org Date: Mon, 22 Apr 2013 13:34:11 -0400 In-Reply-To: <201304200210.r3k2a7w3019...@sloth.cs.utexas.edu> (Matt Kaufmann's message of "Fri, 19 Apr 2013 21:10:07 -0500") Message-ID: <87li8aeagc....@maguirefamily.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii
Greetings! Both of these appear to be unused, and set to the default dispatch macro which triggers an error. I think they are leftovers from earlier attempts to read the .data file (appended to each compiled .o to initialize lisp data) using the lisp reader. (see fasd.lisp, currently unused). These are safe to reset AFAICT. On a separate note, regarding fixnum arithmetic and the 'immediate fixnums' supported in cvs head, I've been looking into this on my new 64bit laptop. This platform can easily support a ~ 500000000 fixnum table below the .text start *without any conversions* back and forth between machine representations. In contrast, by default, an astronomically large table is set to the upper region of the 64bit address space which require shifts. Do you have any sense on what a good fast fixnum table subset size might be in real word use? Take care, Matt Kaufmann <kaufm...@cs.utexas.edu> writes: > Hi, Camm -- > > Readers for #@ and #! are defined in GCL 2.6.8pre, but we use them in > ACL2. Do you see any reason why I can't redefine these readers for > ACL2? Do you know what they do in GCL? > > >(get-dispatch-macro-character #\# #\@) > > #<compiled-function 000000000151b740> > > >(get-dispatch-macro-character #\# #\!) > > #<compiled-function 000000000151b740> > > > > > Thanks -- > -- Matt > > > > -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org https://lists.gnu.org/mailman/listinfo/gcl-devel