[Maxima-commits] [git] Maxima CAS branch master updated. branch-5_49-base-502-g0f50f41fa

[kjak <kj...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Maxima CAS".

The branch, master has been updated
       via  0f50f41faa28c4d8bc52423acdca64b7760c275e (commit)
       via  65dafdfe704f2b5a110b37b236c8a62481c0e172 (commit)
       via  4e8ac7d4f6f359f539044cbe74bd0b0ff1608723 (commit)
       via  a13b5584906bbb528a43831f577dafcdd2339c23 (commit)
       via  8fc9dfbf50c3f27266640d92b906880c6829f046 (commit)
      from  82bb04932ed18973fc61a8f7dcf221108f970814 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 0f50f41faa28c4d8bc52423acdca64b7760c275e
Merge: 65dafdfe7 82bb04932
Author: Kris Katterjohn <kat...@gm...>
Date:   Sat May 9 16:01:09 2026 -0400

    Merge branch 'master' of ssh://git.code.sf.net/p/maxima/code


commit 65dafdfe704f2b5a110b37b236c8a62481c0e172
Author: Kris Katterjohn <kat...@gm...>
Date:   Sat May 9 15:28:39 2026 -0400

    Remove obsolete comment
    
    The code this comment is referring to is long gone.
    
    No functional changes.

diff --git a/src/fcall.lisp b/src/fcall.lisp
index 0b3afa9c0..ac136a933 100644
--- a/src/fcall.lisp
+++ b/src/fcall.lisp
@@ -116,9 +116,6 @@
       (symbol-value var)
       var))
 
-;;; These are the LAMBDA forms. They have macro properties that set
-;;; up very different things in compiled code.
-
 ;;; (FUNGEN&ENV-for-meval <eval vars list> <late eval vars list>  <EXP>)
 ;;won't work in cl.  fix later.
 (defquote fungen&env-for-meval (&rest args)

commit 4e8ac7d4f6f359f539044cbe74bd0b0ff1608723
Author: Kris Katterjohn <kat...@gm...>
Date:   Sat May 9 14:54:37 2026 -0400

    transl: generate boolean lisp type declarations in MAKE-DECLARES
    
    No problems with the test suite, share test suite or rtest_translator.

diff --git a/src/transl.lisp b/src/transl.lisp
index 5762c7621..7d664542b 100644
--- a/src/transl.lisp
+++ b/src/transl.lisp
@@ -984,7 +984,7 @@ APPLY means like APPLY.")
 				  arglist))))))))
 
 
-(defun make-declares (varlist localp &aux (dl) (fx) (fl) specs)
+(defun make-declares (varlist localp &aux (dl) (fx) (fl) (bl) specs)
   (do ((l varlist (cdr l))
        (mode) (var))
       ((null l))
@@ -1001,9 +1001,11 @@ APPLY means like APPLY.")
       (setq specs (cons var specs))
 
       (cond ((eq '$fixnum mode) (pushnew var fx :test #'eq))
-	    ((eq '$float mode)  (pushnew var fl :test #'eq)))))
+	    ((eq '$float mode)  (pushnew var fl :test #'eq))
+	    ((eq '$boolean mode)  (pushnew var bl :test #'eq)))))
   (if fx (pushnew `(fixnum  . ,fx) dl :test #'eq))
   (if fl (pushnew `(type flonum  . ,fl) dl :test #'eq))
+  (if bl (pushnew `(type boolean  . ,bl) dl :test #'eq))
   (if specs (pushnew `(special  . ,specs) dl :test #'eq))
   (if dl `(declare . ,dl)))
 

commit a13b5584906bbb528a43831f577dafcdd2339c23
Author: Kris Katterjohn <kat...@gm...>
Date:   Sat May 9 14:36:42 2026 -0400

    transl: use mode any instead of NIL in TR-MAREF and TR-MASET
    
    No problems with the test suite, share test suite or rtest_translator.

diff --git a/src/trans2.lisp b/src/trans2.lisp
index 480004bd1..01af21a9f 100644
--- a/src/trans2.lisp
+++ b/src/trans2.lisp
@@ -57,8 +57,8 @@
 (defun tr-maset (ar val  inds)
   ;; Top-level forms need to define the variable first.
   (if *macexpr-top-level-form-p* 
-      `(nil progn (defvar ,ar ',ar) (maset ,val ,ar  ,@ inds))
-      `(nil maset ,val ,ar  ,@ inds)))
+      `($any progn (defvar ,ar ',ar) (maset ,val ,ar  ,@ inds))
+      `($any maset ,val ,ar  ,@ inds)))
 
 (defun maset1 (val ar &rest inds)
   (cond
@@ -118,7 +118,7 @@
 ;;in maref in transl now
 
 (defun tr-maref (ar inds)
-  `(nil maref , ar ,@ (copy-list inds)))
+  `($any maref , ar ,@ (copy-list inds)))
 
 (defun maref1 (ar &rest inds)
   (cond

commit 8fc9dfbf50c3f27266640d92b906880c6829f046
Author: Kris Katterjohn <kat...@gm...>
Date:   Sat May 9 14:31:07 2026 -0400

    transl: use mode any instead of NIL in mode_declare
    
    No problems with the test suite, share test suite or rtest_translator.

diff --git a/src/trmode.lisp b/src/trmode.lisp
index 3dc7d7f88..7682da7f4 100644
--- a/src/trmode.lisp
+++ b/src/trmode.lisp
@@ -110,8 +110,11 @@
 	  (mtell (intl:gettext "modedeclare: ~M is not a built-in type; assuming it is a Maxima extension type.") x)))))
 
 (def%tr $modedeclare (form)
+  ; if we really wanted to we could cons up a list
+  ; here at translate time and return it to match
+  ; the return value in the interpreted case
   (do ((l (cdr form) (cddr l)))
-      ((null l))
+      ((null l) `($any . nil))
     (declmode (car l) (ir-or-extend (cadr l)) t)))
 
 (defun ass-eq-ref (table key &optional dflt)

-----------------------------------------------------------------------

Summary of changes:
 src/fcall.lisp  | 3 ---
 src/trans2.lisp | 6 +++---
 src/transl.lisp | 6 ++++--
 src/trmode.lisp | 5 ++++-
 4 files changed, 11 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
Maxima CAS