[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Value stack problem
From: |
Juergen Weiss |
Subject: |
[Axiom-developer] Value stack problem |
Date: |
Tue, 10 Jun 2003 22:53:05 +0200 |
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
- [Axiom-developer] Value stack problem,
Juergen Weiss <=