help links subscribe changes refresh edit

	IssueTracker
#421 improper call to system function bottomUp ←	↑	→ #423 showSummary fails

#422 declarations escape Record

Edit detail for #422 declarations escape Record revision 1 of 3

	1 2 3
Editor: Bill Page Time: 2008/05/28 16:16:29 GMT-7
Note:

changed:
-
This function that returns a Domain has the side-effect of declaring x and y:
\begin{axiom}
MyPair(T:Domain):Domain=Record(x:T,y:T)
w:MyPair(Float)
x
y
w
\end{axiom}

But this does not happen for Union
\begin{axiom}
MyAlt(T:Domain):Domain=Union(p:T,q:T)
r:MyAlt(Float)
p
q
r
\end{axiom}

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

axiomMyPair(T:Domain):Domain=Record(x:T,y:T)
   Category, domain or package constructor = is not available.
w:MyPair(Float)
   Category, domain or package constructor MyPair is not available.
x

(1)

Type: Variable x

axiom
y

(2)

Type: Variable y

axiom
w

(3)

Type: Variable w

But this does not happen for Union

axiomMyAlt(T:Domain):Domain=Union(p:T,q:T)
   Category, domain or package constructor = is not available.
r:MyAlt(Float)
   Category, domain or package constructor MyAlt is not available.
p

(4)

Type: Variable p

axiom
q

(5)

Type: Variable q

axiom
r

(6)

Type: Variable r