|
|
|
last edited 16 years ago by gdr |
Edit detail for #423 showSummary fails revision 7 of 7
| 1 2 3 4 5 6 7 | ||
|
Editor: gdr
Time: 2008/08/10 03:21:06 GMT-7 |
||
| Note: Fixed | ||
added:
From gdr Sun Aug 10 03:21:06 -0700 2008
From: gdr
Date: Sun, 10 Aug 2008 03:21:06 -0700
Subject: Fixed
Message-ID: <20080810032106-0700@axiom-wiki.newsynthesis.org>
Status: open => closed
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 works
- at the moment -- only for non-builtin constructors.
fricas
x:RomanNumeral:=1984
 | (1) |
Type: RomanNumeral?
fricas
showSummary(RomanNumeral)$Domaina typo in the name of the Lisp function. Now fixed.
Domain is not a valid type.
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 :-)
Status: open => closed