|
|
|
last edited 15 years ago by gdr |
Edit detail for #422 declarations escape Record revision 3 of 3
| 1 2 3 | ||
|
Editor: gdr
Time: 2008/08/10 09:54:10 GMT-7 |
||
| Note: Fixed | ||
added:
From gdr Sun Aug 10 09:54:10 -0700 2008
From: gdr
Date: Sun, 10 Aug 2008 09:54:10 -0700
Subject: Fixed
Message-ID: <20080810095410-0700@axiom-wiki.newsynthesis.org>
Status: open => closed
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.
Fixed --gdr, Sun, 10 Aug 2008 09:54:10 -0700 reply
Status: open => closed