[Gcl-devel] Latest commit...

[Camm Maguire]

Greetings!  Still shy of time for the discussion I'd like to hold on
directions for 2.7.x, but committed a few pending items today anyway: 

1) Some ansi test fixes.  The pretty printer stuff is very unfinished.
   The bignum comparison tests are all fixed, but I think we need
   another test to show a failure which still should be left in --
   rational * double, where the denominator of the former times the
   (modest) value of the latter will overflow the double range.

2) Compiler macros to rewrite (+ a b c d) and the like in terms of
   nested two-argument calls, to allow for inlining.

3) Support for inlining functions returning multiple values, with
   gethash as a first example.  A major user of GCL had been wanting
   this. 

and a few misc. other items.  

ANSI is of course the highest priority, but this work has reminded me
of a previous discussion we had on passing outer declarations to inner
scopes via the environment for use in macroexpansion.  I'd like to
address this, and would appreciate any advice.  I.e. in

(let ((i 0) (a (make-array 3 :element-type 'fixnum)))
        (declare (fixnum i) ((array fixnum) a))
        (incf (aref a i)))

incf rebinds the variables with gensyms and loses the type
information.

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