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 4 of 7
1 2 3 4 5 6 7
Editor: Bill Page
Time: 2008/05/28 18:35:53 GMT-7
Note: RomanNumeral is not built-in 
added:

From BillPage Wed May 28 18:35:48 -0700 2008
From: Bill Page
Date: Wed, 28 May 2008 18:35:48 -0700
Subject: RomanNumeral is not built-in
Message-ID: <20080528183548-0700@axiom-wiki.newsynthesis.org>

Right?

\begin{axiom}
x:RomanNumeral:=1984
\end{axiom}

\begin{axiom}
showSummary(RomanNumeral)$Domain
\end{axiom}

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.