[Aldor-l] Compilation of libalgebra fails

Pippijn van Steenhoven pip88nl at gmail.com
Wed Dec 12 03:22:30 EST 2007


Hello again,

I just tried to compile libalgebra with debugging in the compiler
turned on (NDEBUG is off) and it failed with the following assertion
failure:


     ALDOR     /home/pippijn/rona/aldor/library/algebra/src/extree/sit_extree.ao
Assertion failed, file "/home/pippijn/rona/aldor/src/aldor/genc.c"
line 6472: fmt && fmt != emptyFormatSlot
Program fault (abort process).#3 (Error) Program fault (abort process).

"/home/pippijn/rona/aldor/library/algebra/src/extree/sit_extree.as", line 208:
        operator(t:%):OP                == operator tree t;
.................^
[L208 C18] #1 (Warning) Function returns a domain that might not be
constant (which may cause problems if it is used in a dependent type).

"/home/pippijn/rona/aldor/library/algebra/src/extree/sit_extree.as", line 210:
        local operator(t:Tree):OP       == t.oper;
.......................^
[L210 C24] #2 (Warning) Function returns a domain that might not be
constant (which may cause problems if it is used in a dependent type).

Program fault (abort process).#1 (Error) Program fault (abort process).
make[2]: *** [/home/pippijn/rona/aldor/library/algebra/src/extree/sit_extree.ao]
Error 1


--
Pippijn




More information about the Aldor-l mailing list