I have now two new commits, see
https://github.com/hemmecke/fricas/commits/poly
That new file src/algebra/poly.spad compiles fine, if I compile it on
top of a FriCAS (current trunk), but when I want to compile a fresh
fricas with that file, it fails, see below.
What can I do?
Is this a problem with NonNegativeInteger not being available in this
early stage of the boot process?
Ralf
===================================================================
)compile FMCAT.spad
Compiling FriCAS source code from file
/home/hemmecke/backup/git/fricas-bisect/b/src/algebra/FMCAT.spad
using old system compiler.
FMCAT abbreviates category FreeModuleCategory
------------------------------------------------------------------------
initializing NRLIB FMCAT for FreeModuleCategory
compiling into NRLIB FMCAT
;;; *** |FreeModuleCategory| REDEFINED
STYLE-WARNING: redefining BOOT::|FreeModuleCategory| in DEFUN
STYLE-WARNING: redefining BOOT::|FreeModuleCategory;| in DEFUN
Time: 0.00 SEC.
FMCAT- abbreviates domain FreeModuleCategory&
------------------------------------------------------------------------
initializing NRLIB FMCAT- for FreeModuleCategory&
compiling into NRLIB FMCAT-
****** Domain: R already in scope
****** Domain: R already in scope
augmenting R: (Comparable)
compiling exported smaller? : (A,A) -> Boolean
Time: 0.01 SEC.
augmenting S: (SIGNATURE S coerce ((Vector (NonNegativeInteger)) S))
compiling exported totalDegree : A -> NonNegativeInteger
processing macro definition V ==> Vector NonNegativeInteger
****** comp fails at level 5 with expression: ******
error in function totalDegree
(SEQ (MDEF (V) (NIL) (NIL) (|Vector| (|NonNegativeInteger|)))
(LET (|:| #1=#:G78912 (|Boolean|))
(|zero?| |p|))
(|exit| 1
(IF #1#
0
(REDUCE |max| 0
(COLLECT (IN |s| (|support| |p|))
(|reduce| "+" (|::| |s| V) 0))))))
****** level 5 ******
$x:= (LET G78930 (reduce + (:: s (Vector (NonNegativeInteger))) (Zero)))
$m:= (NonNegativeInteger)
$f:=
((((|s| # #) (|last| #) (|rest| #) (|first| #) ...)))
>> Apparent user error:
CANNOT ASSIGN: (reduce + (:: s (Vector (NonNegativeInteger))) (Zero))
OF MODE: (NonNegativeInteger)
TO: G78930
OF MODE: (NonNegativeInteger)
(1) -> mv: cannot stat ‘category.daase’: No such file or directory
mv: cannot stat ‘compress.daase’: No such file or directory
mv: cannot stat ‘interp.daase’: No such file or directory
mv: cannot stat ‘operation.daase’: No such file or directory
Makefile:598: recipe for target 'stamp-db' failed
make[3]: *** [stamp-db] Error 1
make[3]: Leaving directory
'/home/hemmecke/backup/git/fricas-bisect/b/src/algebra'
Makefile:564: recipe for target 'all-ax' failed
make[2]: *** [all-ax] Error 2
make[2]: Leaving directory
'/home/hemmecke/backup/git/fricas-bisect/b/src/algebra'
Makefile:236: recipe for target 'all-algebra' failed
make[1]: *** [all-algebra] Error 2
make[1]: Leaving directory '/home/hemmecke/backup/git/fricas-bisect/b/src'
Makefile:249: recipe for target 'all-src' failed
make: *** [all-src] Error 2
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
