login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#425 confusion over Category  ← ↑ →  #427 Broken compilation of axiom-may2008 on Slackware 12.1

#426 Non-builtin domain values fail
  
last edited 15 years ago by Bill Page

Edit detail for #426 Non-builtin domain values fail revision 2 of 4
1 2 3 4
Editor: Bill Page
Time: 2008/05/28 20:08:20 GMT-7
Note: 
added:

From BillPage Wed May 28 20:08:20 -0700 2008
From: Bill Page
Date: Wed, 28 May 2008 20:08:20 -0700
Subject: 
Message-ID: <20080528200820-0700@axiom-wiki.newsynthesis.org>

Axiom Version:  => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25

Submitted by : Bill Page at: 2008-05-28T20:08:03-07:00 (15 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

In OpenAxiom? functions can return domain-values. This works for example in 

axiom
MyPair(X:Domain,Y:Domain):Domain == Record(p1:X,p2:Y)
   Function declaration MyPair : (Domain,Domain) -> Domain has been 
      added to workspace.
Type: Void
axiom
MyPair(Integer,Float)
   Cannot compile the declaration for p1 because its (possible partial)
      type contains a local variable.
   OpenAxiom will attempt to step through and interpret the code.
axiom
Compiling function MyPair with type (Domain,Domain) -> Domain 
   Compiled code for MyPair has been cleared.
LatexWiki Image(1)
Type: Domain

where Record is a built-in type.

But I cannot use a compiled type such as Product in place of Record 

axiom
MyPair2(X:Domain,Y:Domain):Domain == Product(X,Y)
   Function declaration MyPair2 : (Domain,Domain) -> Domain has been 
      added to workspace.
Type: Void
axiom
MyPair2(Integer,Float)
   Product(#1,#2) is not a valid type.
Product(Integer,Float)
LatexWiki Image(2)
Type: Domain

... --Bill Page, Wed, 28 May 2008 20:08:20 -0700 reply
Axiom Version: => /usr/local/lib/open-axiom/x86_64-unknown-linux/1.2.0-2008-05-25