[61_8] Upgrade to S7 10.6 20231115

TeXmacs/progs/kernel/logic/logic-bind.scm

@@ -18,11 +18,13 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (define-public (free-variable name)
-  (list 'quote name))
+  (list '#_quote name))
 
 (define-public (free-variable? expr)
   "Is the expression @expr a free variable?"
-  (and (list? expr) (= (length expr) 2) (== (car expr) 'quote)))
+  (and (list? expr)
+       (= (length expr) 2)
+       (== (car expr) '#_quote)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Binding variables

TeXmacs/progs/kernel/logic/logic-test.scm

@@ -14,10 +14,14 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (texmacs-module (kernel logic logic-test)
-  (:use (kernel logic logic-rules) (kernel logic logic-query)))
+  (:use (kernel logic logic-bind)
+        (kernel logic logic-rules)
+        (kernel logic logic-query)))
 
 (import (srfi srfi-78))
 
+(check (free-variable? ''x) => #t)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Examples of rules
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

xmake/packages/s/s7/xmake.lua

@@ -26,7 +26,7 @@ package("s7")
     add_urls("https://github.com/XmacsLabs/s7.git")
     add_urls("https://gitee.com/XmacsLabs/s7.git")
 
-    add_versions("20231024", "20231024")
+    add_versions("20231115", "20231115")
 
     add_configs("gmp", {description = "enable gmp support", default = false, type = "boolean"})
 

xmake/vars.lua

@@ -22,7 +22,7 @@ STABLE_RELEASE = 1
 LOLLY_VERSION = "1.4.26"
 
 -- Third-party dependencies
-S7_VERSION = "20231024"
+S7_VERSION = "20231115"
 QT6_VERSION = "6.5.3"
 QTIFW_VERSION = "4.6.0"
 TBOX_VERSION = "1.7.5"