Greetings, and thanks so much for the suggestion!
This works. I now have a 2.7.0 and fricas tree with minor modifications
ready for commit but for (I think) one remaining problem. 2.6.14
compiles my fricas tree just fine, but 2.7.0 gives two identical errors
compiling the algebra:
)compile GUESSINT.spad
Compiling FriCAS source code from file
/mnt/sda4/debian/fricas/src/algebra/GUESSINT.spad using old
system compiler.
GUESSINT abbreviates package GuessInteger
****** comp fails at level 2 with expression: ******
(|Sel| (|Expression| (|Integer|)) |retract|)
****** level 2 ******
$x:= ((Sel (Expression (Integer)) retract) G1)
$m:= (Fraction (Integer))
$f:=
((((#:G1 #) (* #) (+ #) (- #) ...)))
>> Apparent user error:
not known that (Expression (Integer)) has (OR (AND (has (Integer)
(IntegralDomain)) (has (Integer) (RetractableTo (Integer)))) (has (Integer)
(RetractableTo (Fraction (Integer)))))
I'm digging into this and will find it eventually, but if you have any
debugging suggestions I'm sure that would speed things up.
Take are,
Waldek Hebisch <hebi...@fricas.org> writes:
> On Sat, Mar 02, 2024 at 08:56:14AM -0500, Camm Maguire wrote:
>> Greetings! Grégory, will reply to your post in separate email. But in
>> general there are several places where fricas creates calls to 'list
>> which exceed GCL's call-arguments-limit when translating boot files to
>> .clisp. 2.6.x was not rigorous about enforcing this, but 2.7.0 is.
>> Where should I look in the boot parser source to suggest a patch
>> breaking this into an nconc of several compliant list calls, or better
>> yet just writing a quoted list (since apparently all contents are
>> strings) which the reader can handle just fine?
>
> AFAICS this is handled in 'src/boot/tytree1.boot'. Note that in
> FriCAS lists are mutable and Boot code makes significant use of
> of mutation. So translating _all_ list construction to quoted
> lists would be wrong. Boot really does not look at control/data
> flow so finding out possibilties to use quoted lists is probably
> not practical.
>
> The simplest solution may be shadowing Lisp LIST and using a macro
> instead.
--
Camm Maguire c...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
