Greetings! Just about finished getting fricas to work with the
forthcoming new GCL release.
This GCL version tries to be strict about enforcing
call-arguments-limit, which has always been 64. I get the following
when compiling SULS.spad. Somewhere an apply of '|Join| needs to be
replaced with reduce. Any suggestions of where to look?
Take care,
=============================================================================
Broken at SYSTEM::BREAK-LEVEL.
Condition in |Join| [or a callee]: INTERNAL-SIMPLE-PROGRAM-ERROR: NIL [or a
callee] requires less than sixty-eight arguments.
Broken at SYSTEM::BREAK-LEVEL. Type :H for Help.
1 Return to top level.
BOOT>>(si::fle '|Join|)
(LAMBDA (&REST L) (BLOCK |Join| (BLOCK NIL #)))
NIL
|Join|
BOOT>>(setq *print-pretty* t *print-length* nil *print-level* nil)
NIL
BOOT>>(si::fle '|Join|)
(LAMBDA
(&REST L)
(BLOCK
|Join|
(BLOCK NIL (LET NIL (TAGBODY (RETURN-FROM NIL (|JoinInner| L)))))))
NIL
|Join|
BOOT>>:fr 1
#1 Join {loc0=#<vector 0000000002ada8c0>,loc1=#<vector
0000000004eb1a20>,loc2=#<vector 0...} [ihs=68]
BOOT>>:bl
>> Join():
Local(0): #<vector 0000000002ada8c0>
Local(1): #<vector 0000000004eb1a20>
Local(2): #<vector 0000000004eb1b10>
Local(3): #<vector 0000000004eb1c00>
Local(4): #<vector 0000000004eb1cf0>
Local(5): #<vector 0000000004eb1de0>
Local(6): #<vector 0000000004eb1ed0>
Local(7): #<vector 0000000004eb1fc0>
Local(8): #<vector 0000000004eb20c0>
Local(9): #<vector 0000000004eb21b0>
Local(10): #<vector 0000000004eb22a0>
Local(11): #<vector 0000000004eb2390>
Local(12): #<vector 0000000004eb2480>
Local(13): #<vector 0000000004eb2570>
Local(14): #<vector 0000000004eb2660>
Local(15): #<vector 0000000004eb2750>
Local(16): #<vector 0000000004eb2840>
Local(17): #<vector 0000000004eb2930>
Local(18): #<vector 0000000004eb2a20>
Local(19): #<vector 0000000004eb2b10>
Local(20): #<vector 0000000004eb2c00>
Local(21): #<vector 0000000004eb2cf0>
Local(22): #<vector 0000000004eb2de0>
Local(23): #<vector 0000000004eb2ed0>
Local(24): #<vector 0000000004eb2fc0>
Local(25): #<vector 0000000004eb30c0>
Local(26): #<vector 0000000004eb31b0>
Local(27): #<vector 0000000004eb32a0>
Local(28): #<vector 0000000004eb3390>
Local(29): #<vector 0000000004eb3480>
Local(30): #<vector 0000000004eb3570>
Local(31): #<vector 0000000004eb3660>
Local(32): #<vector 0000000004eb3750>
Local(33): #<vector 0000000004eb3840>
Local(34): #<vector 0000000004eb3930>
Local(35): #<vector 0000000004eb3a20>
Local(36): #<vector 0000000004eb3b10>
Local(37): #<vector 0000000004eb3c00>
Local(38): #<vector 0000000004eb3cf0>
Local(39): #<vector 0000000004eb3de0>
Local(40): #<vector 0000000004eb3ed0>
Local(41): #<vector 0000000004eb3fc0>
Local(42): #<vector 0000000004eb40c0>
Local(43): #<vector 0000000004eb41b0>
Local(44): #<vector 0000000004eb42a0>
Local(45): #<vector 0000000004eb4390>
Local(46): #<vector 0000000004eb4480>
Local(47): #<vector 0000000004eb4570>
Local(48): #<vector 0000000004eb4660>
Local(49): #<vector 0000000004eb4750>
Local(50): #<vector 0000000004eb4840>
Local(51): #<vector 0000000004eb4930>
Local(52): #<vector 0000000004eb4a20>
Local(53): #<vector 0000000004eb4b10>
Local(54): #<vector 0000000004eb4c00>
Local(55): #<vector 0000000004eb4cf0>
Local(56): #<vector 0000000004eb4de0>
Local(57): #<vector 0000000004eb4ed0>
Local(58): #<vector 0000000004eb4fc0>
Local(59): #<vector 0000000004eb50c0>
Local(60): #<vector 0000000004eb51b0>
Local(61): #<vector 0000000004eb52a0>
Local(62): #<vector 0000000004eb5390>
Local(63): #<vector 0000000004eb5480>
Local(64): #<vector 0000000004eb5570>
Local(65): #<vector 0000000004eb5660>
Local(66): #<vector 0000000004eb5750>
Local(67): #<vector 0000000004eb5840>
NIL
BOOT>>:bt
#0 INVOKE-DEBUGGER {loc0=#<conditions::internal-simple-program-error.0>}
[ihs=70]
#1 Join {loc0=#<vector 0000000002ada8c0>,loc1=#<vector
0000000004eb1a20>,loc2=#<vector 0...} [ihs=68]
#2 EVAL {loc0=nil,loc1=nil,loc2=nil,loc3=#<function 00000000173468b0>}
[ihs=67]
#3 eval {loc0=(|Join| (|UnivariateLaurentSeriesConstructorCategory| (quote
|Coef|) (quot...} [ihs=66]
#4 c_eval {loc0=(|Join| (|UnivariateLaurentSeriesConstructorCategory| (quote
|Coef|) (quot...} [ihs=65]
#5 compMakeCategoryObject {loc0=(|Join|
(|UnivariateLaurentSeriesConstructorCategory| |Coef| (|SparseUniva...} [ihs=64]
#6 getViewsConditions {loc0=(|Join|
(|UnivariateLaurentSeriesConstructorCategory| |Coef| (|SparseUniva...} [ihs=63]
#7 InvestigateConditions {loc0=((|Join|
(|UnivariateLaurentSeriesConstructorCategory| |Coef| #) (category...} [ihs=62]
#8 buildFunctor {loc0=(|SparseUnivariateLaurentSeries| |Coef| |var|
...),loc1=((|Join| (|Univari...} [ihs=61]
#9 processFunctor {loc0=(|SparseUnivariateLaurentSeries| |Coef| |var|
...),loc1=((|Join| (|Univari...} [ihs=60]
#10 compCapsuleInner {loc0=((qsetrefv % 9 ...) (|CodeDefine| (|variable| #)
(|dispatchFunction| |SULS...} [ihs=59]
#11 compCapsule {loc0=(capsule (qsetrefv % 9 ...) (|CodeDefine| (|variable|
#) (|dispatchFunctio...} [ihs=58]
#12 compAdd {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|) (capsule
(qsetrefv % 9 ...} [ihs=57]
#13 compExpression {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|)
(capsule (qsetrefv % 9 ...} [ihs=56]
#14 comp3 {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|) (capsule
(qsetrefv % 9 ...} [ihs=55]
#15 comp2 {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|) (capsule
(qsetrefv % 9 ...} [ihs=54]
#16 compNoStacking {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|)
(capsule (qsetrefv % 9 ...} [ihs=53]
#17 comp {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|) (capsule
(qsetrefv % 9 ...} [ihs=52]
#18 compOrCroak1,fn {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|)
(capsule (qsetrefv % 9 ...} [ihs=51]
#19 compOrCroak1 {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|)
(capsule (qsetrefv % 9 ...} [ihs=50]
#20 compOrCroak {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|)
(capsule (qsetrefv % 9 ...} [ihs=49]
#21 compFunctorBody {loc0=(|add| (|InnerSparseUnivariatePowerSeries| |Coef|)
(capsule (qsetrefv % 9 ...} [ihs=48]
#22 compDefineFunctor1 {loc0=(def (|SparseUnivariateLaurentSeries| |Coef|
|var| ...) ((|Join| # #) nil ...} [ihs=47]
#23 compDefineLisplib {loc0=(def (|SparseUnivariateLaurentSeries| |Coef|
|var| ...) ((|Join| # #) nil ...} [ihs=46]
#24 compDefineFunctor {loc0=(def (|SparseUnivariateLaurentSeries| |Coef|
|var| ...) ((|Join| # #) nil ...} [ihs=45]
#25 compDefine1 {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) nil ...} [ihs=44]
#26 compDefine {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) nil ...} [ihs=43]
#27 compExpression {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) ((|Join| # #) nil ...} [ihs=42]
#28 comp3 {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) nil ...} [ihs=41]
#29 comp2 {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) nil ...} [ihs=40]
#30 compNoStacking {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) ((|Join| # #) nil ...} [ihs=39]
#31 comp {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) nil ...} [ihs=38]
#32 compWhere {loc0=(|where| (def (|SparseUnivariateLaurentSeries| |Coef|
|var| ...) (# nil ni...} [ihs=37]
#33 compExpression {loc0=(|where| (def (|SparseUnivariateLaurentSeries|
|Coef| |var| ...) (# nil ni...} [ihs=36]
#34 comp3 {loc0=(|where| (def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) (# nil ni...} [ihs=35]
#35 comp2 {loc0=(|where| (def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) (# nil ni...} [ihs=34]
#36 compNoStacking {loc0=(|where| (def (|SparseUnivariateLaurentSeries|
|Coef| |var| ...) (# nil ni...} [ihs=33]
#37 comp {loc0=(|where| (def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) (# nil ni...} [ihs=32]
#38 compDefWhereClause {loc0=(def (|SparseUnivariateLaurentSeries| |Coef|
|var| ...) ((|Join| # #) (|Ri...} [ihs=31]
#39 compDefine1 {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) (|Ri...} [ihs=30]
#40 compDefine {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) (|Ri...} [ihs=29]
#41 compExpression {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) ((|Join| # #) (|Ri...} [ihs=28]
#42 comp3 {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) (|Ri...} [ihs=27]
#43 comp2 {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) (|Ri...} [ihs=26]
#44 compNoStacking {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) ((|Join| # #) (|Ri...} [ihs=25]
#45 comp {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) (|Ri...} [ihs=24]
#46 compOrCroak1,fn {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) ((|Join| # #) (|Ri...} [ihs=23]
#47 compOrCroak1 {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) ((|Join| # #) (|Ri...} [ihs=22]
#48 compOrCroak {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var| ...)
((|Join| # #) (|Ri...} [ihs=21]
#49 compTopLevel {loc0=(def (|SparseUnivariateLaurentSeries| |Coef| |var|
...) ((|Join| # #) (|Ri...} [ihs=20]
#50 S_process {loc0=(|where| (== (|:| # |Exports|) |Implementation|) (|;|
(|;| # #) (==> |Impl...} [ihs=19]
#51 fakeloopProcess1 {loc0=((|id| |SparseUnivariateLaurentSeries| 0 ...)
(|key| |(| 29 ...) (|id| |Co...} [ihs=18]
#52 fakeloopProcess {loc0=nil,loc1=(((# #) (# # # ...)) ((# #) (# # # ...))
|nonnullstream| ...)} [ihs=17]
#53 fakeloopInclude0 {loc0=#<input stream
#P"/mnt/sda4/debian/fricas/src/algebra/SULS.spad">,loc1="/m...} [ihs=16]
#54 handle_input_file
{loc0="/mnt/sda4/debian/fricas/src/algebra/SULS.spad",loc1=#<function
0000000017...} [ihs=15]
#55 fakeloopInclude
{loc0="/mnt/sda4/debian/fricas/src/algebra/SULS.spad",loc1=nil} [ihs=14]
#56 spadCompile1
{loc0="/mnt/sda4/debian/fricas/src/algebra/SULS.spad",loc1=nil} [ihs=13]
#57 spadCompile {loc0="/mnt/sda4/debian/fricas/src/algebra/SULS.spad"}
[ihs=12]
#58 read_or_compile {loc0=t,loc1=t} [ihs=11]
#59 compilerDoit {loc0=nil,loc1=(|rq| |lib|)} [ihs=10]
#60 compileSpad2Cmd {loc0=("/mnt/sda4/debian/fricas/src/algebra/SULS.spad")}
[ihs=9]
#61 compile {loc0=(|SULS.spad|)} [ihs=8]
#62 systemCommand {loc0=((|compile| |SULS.spad|))} [ihs=7]
#63 tokenSystemCommand {loc0=|compile|,loc1=((|compile| |SULS.spad|))} [ihs=6]
#64 handleTokensizeSystemCommands {loc0=|compile|,loc1=("compile SULS.spad")}
[ihs=5]
#65 doSystemCommand {loc0="compile SULS.spad"} [ihs=4]
#66 ExecuteInterpSystemCommand {loc0=")compile SULS.spad"} [ihs=3]
#67 InterpExecuteSpadSystemCommand {loc0=")compile SULS.spad"} [ihs=2]
#68 ncloopCommand {loc0=")compile SULS.spad",loc1=1} [ihs=1]
=============================================================================
--
Camm Maguire [email protected]
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/87jzb2y159.fsf_-_%40maguirefamily.org.