login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#421 improper call to system function bottomUp  ← ↑ →  #423 showSummary fails

#422 declarations escape Record
  
last edited 18 years ago by gdr

Edit detail for #422 declarations escape Record revision 2 of 3
1 2 3
Editor: Bill Page
Time: 2008/05/28 16:18:30 GMT-7
Note: 
changed:
-MyPair(T:Domain):Domain=Record(x:T,y:T)
MyPair(T:Domain):Domain==Record(x:T,y:T)

changed:
-MyAlt(T:Domain):Domain=Union(p:T,q:T)
MyAlt(T:Domain):Domain==Union(p:T,q:T)

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

This function that returns a Domain has the side-effect of declaring x and y:

fricas
(1) -> MyPair(T:Domain):Domain==Record(x:T,y:T)

   Domain is not a valid type.

But this does not happen for Union

fricas
MyAlt(T:Domain):Domain==Union(p:T,q:T)

   Domain is not a valid type.