[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] RE: Stack overflow problem
From: |
Weiss, Juergen |
Subject: |
[Axiom-developer] RE: Stack overflow problem |
Date: |
Sat, 23 Aug 2003 11:43:52 +0200 |
I have not really checked it, only looked at the code.
In compiler.boot the function compMacro calls the
function macroExpand with the complete form as an
argument. This seems to be wrong.
Juergen Weiss
Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung,
address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
+49(6131)39-26407
> -----Original Message-----
> From: root [mailto:address@hidden
> Sent: Saturday, August 23, 2003 11:28 AM
> To: address@hidden
> Cc: address@hidden; Weiss, Juergen; address@hidden;
> address@hidden
> Subject: Stack overflow problem
>
>
> Camm,
>
> The stack overflow problem is caused by the Axiom preparser. It
> scans for macros and expands BOTH sides of the macros based on
> previous macros. The failure occcurs if there are 2 macros with
> the same name in the same file. The expansion becomes:
>
> env: ()
> macro: MAX ==> 1
> env: (MAX ==> 1)
> macro: MAX ==> 1
> env (1 ==> 1, MAX ==> 1)
> macro 1 + 1
> crash
>
> It is considered (by me) a bug to expand the left hand side
> of the macro.
> I don't know where this is done but it needs to be fixed. I fear the
> "correct" fix will take me into the meta code using the meta compiler.
>
> This is not a GCL failure (although GCL is particularly unhelpful
> when debugging stack overflows as :bt will crash GCL).
>
> Tim
> address@hidden
> address@hidden
>
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] RE: Stack overflow problem,
Weiss, Juergen <=