[Top][All Lists]

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

[Gcl-devel] Re: :print-object ansi compliance bug

From: Camm Maguire
Subject: [Gcl-devel] Re: :print-object ansi compliance bug
Date: 08 Jul 2005 19:06:37 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!  I take it then this is is working for you -- great!

There is an issue, at least for me, compiling acl2 with the profiling
image -- the function name gets corrupted in TMP1.h -- havent' traced
this yet.  Am having troubles with :enable-eval T not allowing top
level evals in breaks.

BTW, do you have an opinion for the most useful two C types which GCL
would be allow to pass unboxed between compiled files in different
source files?  Must not contain any pointers.  float and double come
to mind, but I was considering complex double and making use of libm
complex math routines.

Take care,

Robert Boyer <address@hidden> writes:

> Thanks very much for fixing
>     defstruct/print-object
>     4 set/set/dispatch/macro bugs handling NIL as readtable
>     (+ 2 . 3)
>     #c(#c(1 2) 3)
> and incorporating our hash stuff.
> Bob

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]