Changes http://wiki.axiom-developer.org/AldorLanguageRestrictions/diff
--
Explicitly declaring the signatures of the conditional category makes the
|hahah| disappear.
This might be tedious for larger categories however.
\begin{aldor}
#include "axiom"
define Fooey: Category == with { foo:%->% }
define Barey: Category == with { bar:%->() }
Dom(b: Boolean): Barey with {
if b then {
Fooey;
foo:%->%;
}
} == add {
bar(x: %): () == {};
if b then {
foo(x: %): % == x;
}
}
\end{aldor}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
