[r6rs-discuss] [Formal] Drop formal semantics of library toplevel

[Robby Findler]

On 3/15/07, William D Clinger <will at ccs.neu.edu> wrote:
> I am posting this as an individual member of the Scheme
> community.  I am not speaking for the R6RS editors, and
> this message should not be confused with the editors'
> eventual formal response.
>
> Robby Findler wrote:
> > lambda cannot express letrec.
>
> That's news to me.  I was under the impression that
> several Scheme compilers expand letrec expressions
> into a melange of lambda, procedure call, variable
> reference, assignment, and if expressions.

That sounds right to me. All I'm saying is you need the melange, not
just lambda. Sorry for the lack of clarity.

Robby