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 15 years ago by gdr

Edit detail for #423 showSummary fails revision 5 of 7
1 2 3 4 5 6 7
Editor: gdr
Time: 2008/05/28 21:22:15 GMT-7
Note: oops 
added:

From gdr Wed May 28 21:22:15 -0700 2008
From: gdr
Date: Wed, 28 May 2008 21:22:15 -0700
Subject: oops
Message-ID: <20080528212215-0700@axiom-wiki.newsynthesis.org>
In-Reply-To: <20080528183548-0700@axiom-wiki.newsynthesis.org>

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

Submitted by : Bill Page at: 2008-05-28T16:42:07-07:00 (15 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 no 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 :-)