The problematic part is this line.
- Qian
diff --git a/src/interp/macros.lisp b/src/interp/macros.lisp
index f2bb9ecc..5db4335d 100644
--- a/src/interp/macros.lisp
+++ b/src/interp/macros.lisp
@@ -221,7 +221,7 @@
(GO LP)))
(RETURN (GGREATERP T1 T2)) ) )
-(defun GLESSEQP (X Y) (NOT (GGREATERP X Y)))
+(defun GLESSEQP (X Y) (|lt_sexp| X Y))
(defun LEXLESSEQP (X Y) (|lt_sexp| X Y))
On 5/11/24 00:05, Waldek Hebisch wrote:
On Fri, May 10, 2024 at 05:10:45PM +0200, Grégory Vanuxem wrote:
For information, exhibited on SBCL-2.3.2 (GiHub) but also on SBCL-2.4.4. I
tried early this morning to revert parts of this commit without success, I
abandoned, it is too Lispish for me I think.
You can try to revert change to symbol.spad, change to i-resolv.boot,
second hunk in macros.lisp + change to vmlisp.lisp. Those 3 are
independent on each other and to remaining changes.
At first glance change to i-resolv.boot is most likely to produce
effect below. OTOH it should do the same thing an all systems...
Le ven. 10 mai 2024 à 15:32, Qian Yun <oldk1...@gmail.com> a écrit :
The recent commit "Simplify and fix ordering predicate"
causes regression on windows only, strange.
The failed test is in series3.input:
testcase "crashes coercing power series (#122, #136)"
a := series(sin(x))
testTrue("(a*1.0; true)")
testTrue("(1.0*a; true)")
Interpreter can't find proper signature.
- Qian
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/e5a1b4e0-0032-446a-9742-826834f3f39f%40gmail.com.