Marc Feeley scripsit:

> Because it is allowed by the standard, and it avoids a run-time test,
> the Gambit compiler does not check that variables are unbound when
> they are accessed.

Thanks very much for this report; I don't normally test the compilers when
I run implementation tests.  I don't think it affects the substance of
my proposal, however; it just means that it "is an error" to attempt to
get the value of an unbound identifier (no requirement to signal an error).
Likewise, it "is an error" to mutate an unbound identifier, with the
known extension of binding it when an attempt is made.

--
Not to perambulate                 John Cowan <cowan@ccil.org>
    the corridors                  http://www.ccil.org/~cowan
during the hours of repose
    in the boots of ascension.       --Sign in Austrian ski-resort hotel