login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#422 declarations escape Record  ← ↑ →  #424 Interpreter code generation failed

#423 showSummary fails
  
last edited 16 years ago by gdr

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

Submitted by : Bill Page at: 2008-05-28T16:42:07-07:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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.


axiom
showSummary(Integer)
--------------------Predicate summary-------------------
   >> System error:
   |getConstructorPredicateFromDB| is invalid as a function.

... --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?

axiom
x:RomanNumeral:=1984
LatexWiki Image(1)
Type: RomanNumeral?

axiom
showSummary(RomanNumeral)$Domain
--------------------Predicate summary-------------------
   >> System error:
   |getConstructorPredicateFromDB| is invalid as a function.

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 :-)