This patch set variable *GENSYM-COUNTER* to 0 during initialization.
The purpose is to make the generation of compiled lisp files more
consistent between commits. (The names of gensyms will be more
consistent.)
More precisely, this help "fricas0-repo" project, which aims to
have minimal changes of compiled lisp files between commits.
One such example is e8f563f6, one additional GENSYM() causes over 24k
lines of difference in the resulting lisp files.
In a way, this is also a very small step towards reproducible builds.
- Qian
====
diff --git a/src/interp/util.lisp b/src/interp/util.lisp
index 4a60b338..06504deb 100644
--- a/src/interp/util.lisp
+++ b/src/interp/util.lisp
@@ -293,6 +293,7 @@ After this function is called the image is clean and
can be saved.
(if (fboundp 'si::readline-off)
(si::readline-off))
(setq |$SpadServer| t)))))
+ (setq *GENSYM-COUNTER* 0)
(|interpsys_restart|)
)
--
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/6e30c5ac-b67b-4db9-a27d-ff3c99b08876%40gmail.com.
