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

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

	1 2 3 4
Editor: Bill Page Time: 2008/05/28 20:08:03 GMT-7
Note:

changed:
-
In OpenAxiom functions can return domain-values. This works for example in
\begin{axiom}
MyPair(X:Domain,Y:Domain):Domain == Record(p1:X,p2:Y)
MyPair(Integer,Float)
\end{axiom}
where 'Record' is a built-in type.

But I cannot use a compiled type such as 'Product' in place of 'Record'
\begin{axiom}
MyPair2(X:Domain,Y:Domain):Domain == Product(X,Y)
MyPair2(Integer,Float)
Product(Integer,Float)
\end{axiom}

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

axiomMyPair(X:Domain,Y:Domain):Domain == Record(p1:X,p2:Y)
   Domain is not a valid type.
MyPair(Integer,Float)
   There are no library operations named MyPair 
      Use HyperDoc Browse or issue
                               )what op MyPair
      to learn if there is any operation containing " MyPair " in its 
      name.
   Cannot find a definition or applicable library operation named 
      MyPair with argument type(s) 
                                   Domain
                                   Domain
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

where Record is a built-in type.

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

axiomMyPair2(X:Domain,Y:Domain):Domain == Product(X,Y)
   Domain is not a valid type.
MyPair2(Integer,Float)
   There are no library operations named MyPair2 
      Use HyperDoc Browse or issue
                              )what op MyPair2
      to learn if there is any operation containing " MyPair2 " in its 
      name.
   Cannot find a definition or applicable library operation named 
      MyPair2 with argument type(s) 
                                   Domain
                                   Domain
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
Product(Integer,Float)

(1)

Type: Domain