login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #426 Non-builtin domain values fail revision 4 of 4

1 2 3 4
Editor: Bill Page
Time: 2008/05/28 20:09:23 GMT-7
Note: reformat


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

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

MyPair(X:Domain,Y:Domain):Domain == Record(p1:X,p2:Y)
Domain is not a valid type.

where Record is a built-in type.

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

MyPair2(X:Domain,Y:Domain):Domain == Product(X,Y)
Domain is not a valid type.


\label{eq1}\hbox{\axiomType{Product}\ } (\hbox{\axiomType{Integer}\ } , \hbox{\axiomType{Float}\ })(1)
Type: Type

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