Edit detail for #232 Trace causes Bind Stack Overflow from erroneous input revision 2 of 2

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