Re: [Axiom-developer] Re: Bug #359

[Martin Rubey]

Waldek Hebisch <address@hidden> writes:

> Martin, when you debug with gcl do first
> 
> )lisp (si:use-fast-links nil)
> 
> that gives more informative backtrace, in particular what looks like
> the real way from upCOLLECT to coerceByFunction:

thanks for this hint!  In fact, I got similar information by fiddling around
with )tr meanwhile, but your hint renders this a lot easier.  Many thanks!

Somehow it seems to me that the problem is with |getValueFromEnvironment|.  I
do not know exactly what it is supposed to do, but it seems that
coerceByFunction expects that the value is obtained via SPADCALL.

Maybe objVal should handle |getValueFromEnvironment|?  In any case,
getValueFromEnvironment does not appear often in the source:

interp/interp-proclaims.lisp:2780:            BOOT::|getValueFromEnvironment|
interp/i-intern.boot.pamphlet:568:-- getValueFromEnvironment(x,mode) ==
interp/i-intern.boot.pamphlet:572:getValueFromEnvironment(x,mode) ==
interp/i-spec1.boot.pamphlet:896:    op = "getValueFromEnvironment" => v
interp/i-analy.boot.pamphlet:430:      ['getValueFromEnvironment,MKQ id,MKQ 
envMode]

Martin