MathAction #275 Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars

• FrontPage
  • IssueTracker
    • #275 Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars <-- You are here.

For example: The following category has a dependent type (the signature of m depends on T):

(1) -> <aldor>
#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 +-> f(t,t)
 }
}</aldor>

Compiling FriCAS source code from file 
 /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/mycat.as 
 using Aldor compiler and options 
-O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y $FRICAS/algebra -I $FRICAS/algebra
 Use the system command )set compiler args to change these 
 options.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/mycat.as", line 1: 
#include "axiom"
^
[L1 C1] #1 (Error) Could not open file `axiom'.

 The )library system command was not called after compilation.

Compilation of the following domain fails. It has a dependent type involving the category.

#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));
}

 Compiling FriCAS source code from file 
 /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/6062601343572286651-25px002.as
 using Aldor compiler and options 
-O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y $FRICAS/algebra -I $FRICAS/algebra
 Use the system command )set compiler args to change these 
 options.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/6062601343572286651-25px002.as", line 1: 
#include "axiom"
^
[L1 C1] #1 (Error) Could not open file `axiom'.

 The )library system command was not called after compilation.

with the error message:

 Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars