[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Can Guile be bootstrapped from source without psyntax-pp.scm?

From: Mark H Weaver
Subject: Re: Can Guile be bootstrapped from source without psyntax-pp.scm?
Date: Fri, 07 Jul 2017 12:40:46 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux)

Alex Vong <address@hidden> writes:

> Mark H Weaver <address@hidden> writes:
>> At this point, I believe it would be quite feasible for a single hacker
>> to audit our psyntax-pp.scm and compare it to psyntax.scm within a
>> reasonable time frame.  Furthermore, when we make local changes to
>> psyntax.scm, the corresponding changes to psyntax-pp.scm are localized
>> and quite easy to audit as well, so the full audit need not be repeated.
> It is really good that small change in source --> small change in
> binary. A fancy way of saying it: the map between source and binary is
> in some sense "continuious".

Sorry, I should have qualified my statement above with the word
"usually".  There are some kinds of local changes that result in
non-local changes to psyntax-pp.scm, e.g. if one of the macros are

A particularly pessimal case is when the 'syntax-object' structure is
changed, since its accessors are macros that are used throughout the
code.  This case actually happened recently in these commits:

As far as I'm aware, this is the first time such a large non-local
change has occurred since my work to minimize psyntax-pp.scm in 2012.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]