[Axiom-developer] RE: Stack overflow problem

[Weiss, Juergen]

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
>