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

changed:
-
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.
<pre>
                       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)
1<enter Expression.coerce,83 :
 arg1= - 3.0
1>exit  Expression.coerce,83
   >> System error:
   Bind stack overflow.

protected-symbol-warn called with (NIL)

(2) -> eval(f, n=3)
1<enter Expression.coerce,83 :
 arg1= - 3.0
1>exit  Expression.coerce,83
   >> System error:
   Bind stack overflow.

protected-symbol-warn called with (NIL)
</pre>

From wyscc Sat Nov 12 17:43:09 -0600 2005
From: wyscc
Date: Sat, 12 Nov 2005 17:43:09 -0600
Subject: property change
Message-ID: <20051112174309-0600@wiki.axiom-developer.org>

Category: Aldor Library Compiler => Axiom Interpreter 


From kratt6 Sun Nov 13 11:52:41 -0600 2005
From: kratt6
Date: Sun, 13 Nov 2005 11:52:41 -0600
Subject: This happens always with ')tr EXPR )ma'!
Message-ID: <20051113115241-0600@wiki.axiom-developer.org>

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

                       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)