[Axiom-developer] gclcvs-2.7.0 and Axiom

[Stephen Wilson]

Hello Camm,

I am interested in your opinion about the following error, which is
occurring for me during the compilation of src/algebra/tree.spad:

-------
 Error: 
 Fast links are on: do (si::use-fast-links nil) for debugging
 Signalled by |NEWLOOKUPINADDCHAIN|.
 Condition in |newLookupInAddChain| [or a callee]: INTERNAL-SIMPLE-TYPE-ERROR: 
#<FREE OBJECT 01ce05c8> is not of type FUNCTION: 

 Broken at |NEWLOOKUPINADDCHAIN|.  Type :H for Help.
  1 (Continue) Return to top level.
 BOOT>>:bt

 #0   newLookupInAddChain {loc0=|empty?|,loc1=((|Boolean|) $),loc2=#<vector 
01f8d9f0>,loc3=#<vector 01f8d9...} [ihs=14]
 #1   genDeltaEntry {loc0=(|empty?| (#1=(|List| s) (|Boolean|) (|List| s)) (t 
(elt #1# #))),loc1=(el...} [ihs=13]
 #2   compForm3 {loc0=(|empty?| |ls|),loc1=|$EmptyMode|,loc2=(((# # # 
...))),loc3=(((#1=# # #) (...} [ihs=12]
 #3   compForm {loc0=(|empty?| |ls|),loc1=|$EmptyMode|,loc2=(((# # # 
...))),loc3=nil,loc4=speci...} [ihs=11]
 #4   setqSingle {loc0=#:g2300,loc1=(|empty?| 
|ls|),loc2=|NoValueMode|,loc3=(((# # # ...))),loc4=...} [ihs=10]
 #5   compSeq1 {loc0=((let #1=#:g2300 (|empty?| |ls|)) (|exit| 1 (if #1# # 
...))),loc1=($),loc2...} [ihs=9]
 #6   compDefineCapsuleFunction {loc0=(def (|tree| |ls|) (nil nil) 
...),loc1=|$EmptyMode|,loc2=(((# # # ...))),l...} [ihs=8]
 #7   compCapsuleInner {loc0=((mdef (|cycleTreeMax|) (nil) ...) (qsetrefv $ 7 
...) (|:| |t| $) ...),loc...} [ihs=7]
 #8   comp {loc0=(|where| (def (|Tree| s) (# nil) ...) (|:| s 
(|SetCategory|))),loc1=|$Empt...} [ihs=6]
 #9   SpadInterpretStream {loc0=1,loc1=(tim daly 
?),loc2=t,loc3=nil,loc4="doc",loc5="spadhelp",loc6="axiom...} [ihs=3]
 #10   spad {loc0=|.axiom|,loc1=nil,loc2=nil,loc3=#<synonym stream to 
*terminal-io*>,loc4=25...} [ihs=2]
-------

The function |newLookupInAddChain| is defined in
src/interp/nrunfast.boot.pamphlet, and everything appears to be in
order on the Axiom side, however:

This is proving to be very difficult to debug, since I cannot
reproduce except by starting Axiom and immediately compiling the file.
If I do (si::use-fast-links nil) the problem goes away. Attempting to
trace any of the above functions, or even typing "1+1" at the axiom
prompt before compiling, the problem goes away.

This behavior is new, so I suspect a change in gclcvs. If this is a
GCL issue, I am hoping that you might be able to understand what this
problem could be, or perhaps suggest a technique to debug it.  If
there is anything I can do to provide more information please let me
know.


Many thanks,
Steve