MathAction #232 Trace causes Bind Stack Overflow from erroneous input

Topics

• FrontPage
  • IssueTracker
    • #232 Trace causes Bind Stack Overflow from erroneous input <-- You are here.

An accidental input typo when the domain EXPR is traced caused BIND stack overflow. Correcting the typo does not return the system to expected behavior.

 AXIOM Computer Algebra System
 Version of Tuesday November 30, 2004 at 21:11:14
-----------------------------------------------------------------------------
 Issue )copyright to view copyright notices.
 Issue )summary for a summary of useful system commands.
 Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------

(1) -> f == (-3.0)**n
 Type: Void
(2) -> )set mess autoload off
(2) -> eval(f, n-3)
 Compiling body of rule f to compute value of type Expression Float
 There are 10 exposed and 4 unexposed library operations named eval
 having 2 argument(s) but none was determined to be applicable.
 Use HyperDoc Browse, or issue
 )display op eval
 to learn more about the available operations. Perhaps
 package-calling the operation or using coercions on the arguments
 will allow you to apply the operation.
 Cannot find a definition or applicable library operation named eval
 with argument type(s)
 Expression Float
 Polynomial Integer
 Perhaps you should use "@" to indicate the required return type,
 or "$" to specify which version of the function you need.
(2) -> )trace EXPR )math

 Packages traced:
 Expression Float, Expression Integer
 Parameterized constructors traced:
 EXPR
(2) -> eval(f, n-3)
1exit Expression.coerce,83
>> System error:
 Bind stack overflow.

protected-symbol-warn called with (NIL)
(2) -> eval(f, n=3)
1exit Expression.coerce,83
>> System error:
 Bind stack overflow.
protected-symbol-warn called with (NIL)

Category: Aldor Library Compiler => Axiom Interpreter

Unfortunately, it is currently impossible to )tr EXPR )ma, a bind stack overflow results always. Somehow, an infinite loop is created - probably for the output routines...

Martin

Status: open => closed