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 6 of 7

	1 2 3 4 5 6 7
Editor: Bill Page Time: 2008/05/28 22:19:19 GMT-7
Note: formatting

changed:
-Here is what I meant by the comment on `builtin' domain.
-
-(2) -> showSummary Union(Integer,String)
---------------------Predicate summary-------------------
---------------------Attribute summary-------------------
Here is what I meant by the comment on `builtin' domain::

  (2) -> showSummary Union(Integer,String)
  --------------------Predicate summary-------------------
  --------------------Attribute summary-------------------

changed:
-this is clearly no right.  But the reason it is that way is that Union
this is clearly not right.  But the reason it is that way is that Union

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.

fricas

(1) -> showSummary(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) 
                                    Type

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

... --Bill Page, Wed, 28 May 2008 16:42:33 -0700 reply

Axiom Version: => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25

showSumary --gdr, Wed, 28 May 2008 17:50:14 -0700 reply
showSumary works: at the moment -- only for non-builtin constructors.

RomanNumeral? is not built-in --Bill Page, Wed, 28 May 2008 18:35:48 -0700 reply

Right?

fricas

x:RomanNumeral:=1984

$\label{eq1}\hbox{\axiomType{MCMLXXXIV}\ }$

(1)

Type: RomanNumeral?

fricas

showSummary(RomanNumeral)$Domain

   Domain is not a valid type.

oops --gdr, Wed, 28 May 2008 21:22:15 -0700 reply

a typo in the name of the Lisp function. Now fixed.

Here is what I meant by the comment on `builtin' domain:

  (2) -> showSummary Union(Integer,String)
  --------------------Predicate summary-------------------
  --------------------Attribute summary-------------------

   Union is an unknown constructor and so is unavailable. Did you mean
      to use -> but type something different instead?

this is clearly not right. But the reason it is that way is that Union is a builtin constructor.

Now showSummary works for non-builtin domains (when it doesn't it surely is a bug :-)