[plt-scheme] full-expanded syntax and internal definitions

From: Dave Herman (dherman at ccs.neu.edu)
Date: Sun Aug 5 14:26:16 EDT 2007

> Compare this with the output expand which "expands all non-primitive 
> syntax"

Okay, that makes sense. That leaves essentially just the one question: 
if there are no internal definitions of any kind in fully-expanded code, 
then why do lambda, let-values, and letrec-values allow multiple 
expressions in their bodies? I.e., why doesn't the expander expand them 
into a single expression with begin?

Thanks again,

Posted on the users mailing list.