Per Bothner scripsit:

> 5.2 Import declarations seems to disagree:

Right.  I was speaking in the context of a REPL, where you ought to be
able to override the meaning of any identifier at any time (that's the
sense in which Scheme has no reserved words).  R7RS limits the retrospective
effect of redefinitions to variables only, but prospective redefinitions
should be unlimited.

In the same sense, lexically scoped redefinitions should be allowed
everywhere:

(let ((if 32)) if) => 32

--
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
                if if = then then then = else else else = if;

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports