Proposal #9 Status: Variable Name Conflicts

["Scott E. Fahlman" <Fahlman@C.CS.CMU.EDU>]

It was proposed by Gall to extend this to cover LET, LET*, DO, DO*,
FLET, LABELS, PROGV, MACROLET, MV-BIND, and PROG.  It was argued by
Freeman and later by Masinter that LET* should not be on this list,
since it is not ambiguous what should happen in these contexts.
Fahlman argued in favor of Gall's proposal, on the grounds of
simplicity, the LET* exception being of very dubious value.  It was
agreed that this is a matter of taste and that both forms should go to
the technical committee.
---------------------------------------------------------------------------
Proposal #9A:

Clarification:

It is an error for two parameters (including supplied-p and &aux
parameters) in the same lambda list to be represented by the same (EQ)
symbol.  This also holds for parameters bound by LET, LET*, DO, DO*,
FLET, LABELS, PROGV, MACROLET, MV-BIND, and PROG.
---------------------------------------------------------------------------
Proposal #9B:

Same, but don't include LET*.
---------------------------------------------------------------------------