On Sat, Oct 14, 2023 at 06:21:29PM +0800, Qian Yun wrote:
> 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.
I wonder if you really want this. To have somewhat repeatable
names of gensyms one probably should reset gensym counter before
each compilation.
OTOH reseting counter means that gensym names will repeat,
I am not sure how this affects readability/debugablity of
generated Lisp. Note that except for cached Boot code,
generated Lisp could be deleted immediately after Lisp
compilation. Main reason to keep it is debugging.
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZSsEL1gk1HKlu1ai%40fricas.org.
