Greetings! Has fricas removed axiom's )fin (restart) pair? How does one escape to/from lisp at the fricas prompt?
Take care, Camm Maguire <c...@maguirefamily.org> writes: > 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 -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
