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 3 of 7
1 2 3 4 5 6 7
Editor: gdr
Time: 2008/05/28 17:50:14 GMT-7
Note: showSumary 
added:

From gdr Wed May 28 17:50:14 -0700 2008
From: gdr
Date: Wed, 28 May 2008 17:50:14 -0700
Subject: showSumary
Message-ID: <20080528175014-0700@axiom-wiki.newsynthesis.org>
In-Reply-To: <20080528164233-0700@axiom-wiki.newsynthesis.org>

showSumary works -- at the moment -- only for non-builtin constructors.

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.