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

Submitted by : Bill Page at: 2008-05-28T16:16:29-07:00 (14 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:

(1) -> MyPair(T:Domain):Domain==Record(x:T,y:T)
Domain is not a valid type.

But this does not happen for Union

Domain is not a valid type.

Status: open => closed

  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: