On Sun, Oct 15, 2023 at 07:53:57AM +0800, Qian Yun wrote:
>
>
> On 10/15/23 05:12, Waldek Hebisch wrote:
> > 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.
>
> When building algebra/, most files are compiled by a freshly loaded
> "interpsys" individually.
OK, if you think that this is enough, then go on.
> > 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.
> >
>
> Current *GENSYM-COUNTER* is 104, so gensyms are already getting
> repeated starting with this number.
>
--
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/ZSwfVe/Mpk96OZFS%40fricas.org.
