25 Apr
2010
25 Apr
'10
5:43 p.m.
... provided in this patch.
I have a couple of questions. One is whether NULL-POINTER has to cons a new pointer _every_time_. It would be more clever to create a variable and put the pointer there.
The other one is whether MAKE-POINTER is used at all, given that we have pointer increment / decrement operations.
Juanjo
--
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://tream.dreamhosters.com