help links subscribe changes refresh edit

	IssueTracker
#422 declarations escape Record ←	↑	→ #424 Interpreter code generation failed

#423 showSummary fails

Edit detail for #423 showSummary fails revision 1 of 7

	1 2 3 4 5 6 7
Editor: Bill Page Time: 2008/05/28 16:42:07 GMT-7
Note:

changed:
-
The function 'showSummary' defined in the domain 'Domain'::

    showSummary: % -> Void
      ++ showSummary(d) prints out implementation detail information
      ++ of domain `d'.

returns the error message::

   >> System error:
   |getConstructorPredicateFromDB| is invalid as a function.


\begin{axiom}
showSummary(Integer)
\end{axiom}

The function showSummary defined in the domain 'Domain':

    showSummary: % -> Void
      ++ showSummary(d) prints out implementation detail information
      ++ of domain `d'.

returns the error message:

   >> System error:
   |getConstructorPredicateFromDB| is invalid as a function.

axiomshowSummary(Integer)
   There are no library operations named showSummary 
      Use HyperDoc Browse or issue
                            )what op showSummary
      to learn if there is any operation containing " showSummary " in 
      its name.
   Cannot find a definition or applicable library operation named 
      showSummary 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.