Changes
http://wiki.axiom-developer.org/275CompilerBugBugGen0SymeSymeUnallocatedByGen0Vars/diff
--
For example: The following category has a dependent type
(the signature of m depends on T):
\begin{aldor}[mycat]
#include "axiom"
MyCat(T: Type, m: (T, T) -> T): Category == with {
d:((T,T)->T)->(T->T);
default {
d(f:(T,T)->T):(T->T) == (t:T):T +-> m(t,t)
}
}
\end{aldor}
Compilation of the following domain fails. It has a
dependent type involving the category.
\begin{aldor}
#include "axiom"
#library MyCat "mycat.ao";
import from MyCat;
MyDom: with {
c:(%, %) -> %;
coerce: Integer -> %;
MyCat(%,c)
}
== add {
import from Integer;
Rep == Integer;
coerce(x:Integer):% == per(x);
c(a: %, b: %):% == per(rep(a)+rep(b));
}
\end{aldor}
with the error message::
Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
