help links subscribe changes refresh edit

	IssueTracker
#420 Tuple, again ←	↑	→ #422 declarations escape Record

#421 improper call to system function bottomUp

Edit detail for #421 improper call to system function bottomUp revision 1 of 4

	1 2 3 4
Editor: page Time: 2008/05/27 17:28:42 GMT-7
Note:

changed:
-
Internal Error::

   Unexpected error or improper call to system function bottomUp : 
      unknown object form

\begin{axiom}
f(x:Domain):Integer == (x has IntegralDomain => 1; 0)
f(Integer)
\end{axiom}

Internal Error:

   Unexpected error or improper call to system function bottomUp : 
      unknown object form

axiomf(x:Domain):Integer == (x has IntegralDomain => 1; 0)
   Domain is not a valid type.
f(Integer)
   There are no library operations named f 
      Use HyperDoc Browse or issue
                                 )what op f
      to learn if there is any operation containing " f " in its name.
   Cannot find a definition or applicable library operation named f 
      with argument type(s) 
                                   Domain
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.