[Axiom-developer] Value stack problem

[Juergen Weiss]

Hi,

I had a look at the value stack problem. I extended VSSIZE to
over 80000. I'm not sure, but I think I could compile ALIST,
which could not be compiled before. But FS gave a value stack
overflow. Debugging with (use-fast-links nil), it seems
that when the function mainKernel is compiled, there is an
infinite recursion in the |extendsCategoryForm| function.
For example
start interpsys
)lisp (use-fast-links nil)
)set break break
)co FS

after the compiler is loaded, type ^C
(trace |extendsCategoryForm|)
:r

A stacktrace shows the infinite recursion

#546   extendsCategoryForm
{domain=s,form=(|UniqueFactorizationDomain|),form'=(|Field|)} [ihs=133]
#547   extendsCategoryForm
{domain=s,form=(|EuclideanDomain|),form'=(|Field|)} [ihs=132]
#548   extendsCategoryForm
{domain=s,form=(|UniqueFactorizationDomain|),form'=(|Field|)} [ihs=131]
#549   extendsCategoryForm
{domain=s,form=(|EuclideanDomain|),form'=(|Field|)} [ihs=130]
#550   extendsCategoryForm
{domain=s,form=(|UniqueFactorizationDomain|),form'=(|Field|)} [ihs=129]
#551   extendsCategoryForm
{domain=s,form=(|EuclideanDomain|),form'=(|Field|)} [ihs=128]
#552   extendsCategoryForm
{domain=s,form=(|UniqueFactorizationDomain|),form'=(|Field|)} [ihs=127]
#553   extendsCategoryForm {domain=s,form=(|FunctionSpace|
r),form'=(|Field|)} [ihs=126]
#554   extendsCategoryForm {domain=s,form=(|FunctionSpace|
r),form'=(|Join| (|Field|) (category |domain| (s...} [ihs=125]
#555   coerceHard {t$=(s (|FunctionSpace| r) ((#))),m=(|Join| (|Field|)
(category |domain| (signat...} [ihs=124]
#556   coerce {t$=(s (|FunctionSpace| r) ((#))),m=(|Join| (|Field|)
(category |domain| (signat...} [ihs=123]
#557   convert {t$=(s (|FunctionSpace| r) ((#))),m=(|Join| (|Field|)
(category |domain| (signat...} [ihs=122]
#558   compAtom {x=s,m=(|Join| (|Field|) (category |domain| (signature
|coerce| #) ...)),e=(((# ...} [ihs=121]

With cmu cl there is no infinite recursion, the recursive call to
extendsCategoryForm
terminates at some point.

Juergen Weiss

Juergen Weiss     | Universitaet Mainz, Zentrum fuer Datenverarbeitung,
address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
+49(6131)39-26407