help links subscribe changes refresh edit

	IssueTracker
#274 Can't get a parameter in an anonymous function ←	↑	→ #276 the result looks like a record but isn't a record

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

Edit detail for #275 Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars revision 1 of 3

	1 2 3
Editor: Time: 2007/11/17 22:19:44 GMT-8
Note:

changed:
-
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 +-> f(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

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

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/zope2/var/LatexWiki/mycat.as using AXIOM-XL compiler and 
      options 
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
   Compiling Lisp source code from file ./mycat.lsp
   Issuing )library command for mycat
   Reading /var/zope2/var/LatexWiki/mycat.asy
   MyCat is now explicitly exposed in frame initial 
   MyCat will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/mycat

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

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

aldor

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/6062601343572286651-25px002.as using 
      AXIOM-XL compiler and options 
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
Compiler bug...Bug: gen0Syme:  syme unallocated by gen0Vars
   The )library system command was not called after compilation.

with the error message:

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