On Wed, Mar 06, 2024 at 10:11:01AM -0500, Camm Maguire wrote: > Greetings! Thanks so much -- it was the replacement of (|restart|) with > (|spad|) that confused me. > > Any other insights or suggestions on how to quickly pin down the error I > report below?
This could be bug in Spad compiler, triggered by different form of S-expression (parts of expressions are sorted in implementation-dependent way). I will try to look deeper into this, but ATM I am traveling, and can not do this. > > Take care, > > Qian Yun <[email protected]> writes: > > > (1) -> )help fin > > ==================================================================== > > A.10. )fin > > ==================================================================== > > > > User Level Required: development > > > > Command Syntax: > > > > - )fin > > > > Command Description: > > > > This command is used by FriCAS developers to leave the FriCAS system and > > return to the underlying Lisp system. To return to FriCAS, issue the > > ``(|spad|)'' function call to Lisp. > > > > > > > > > > This works for SBCL. Not sure about GCL. > > > > - Qian > > > > On 3/6/24 00:40, Camm Maguire wrote: > >> Greetings! Has fricas removed axiom's )fin (restart) pair? How does > >> one escape to/from lisp at the fricas prompt? > >> Take care, > >> Camm Maguire <[email protected]> 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 <[email protected]> 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 > >>> [email protected] > >>> ========================================================================== > >>> "The earth is but one country, and mankind its citizens." -- Baha'u'llah > >> > > -- > 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 on the web visit > https://groups.google.com/d/msgid/fricas-devel/87sf132y62.fsf%40maguirefamily.org. -- Waldek Hebisch -- 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 on the web visit https://groups.google.com/d/msgid/fricas-devel/ZeihIANsAoNk-C12%40fricas.org.
