Bawden's Alternate Proposal

[Alan Bawden <ALAN@AI.AI.MIT.EDU>]

    From: "BACH::GREEK" <greek%bach.decnet@hudson.dec.com>
    Bawden's proposal would result in the following.

      (FLET ((FOO (X) (FOO X X)))
        (DECLARE (FUNCTION FOO (INTEGER) INTEGER))

        ... (FOO 5) ...)

    The declaration for FOO would pertain to both the locally-defined
    FOO and the outer FOO used in its body.

This is correct.  Since function names are lexically scoped, you can call
the inner function something other than FOO with only a minor change to
your program.  Is this situation actually common in anyone's code?