[plt-scheme] plai: lazyness and exercise 6.4.2

Hi Aleix!

Aleix Conchillo Flaqué wrote:
 > Hi,
 >
 > I'm playing a bit with chapter 6 source code. While doing exercise
 > 6.4.2 (explicit with) I found out that I was not able to use 'with'
 > for functions, that is:
 >
 > {with {double {fun {x} {+ x x}}} {double 5}}
 >
 > Then I also tried it with redundant with, and another problem arose,
 > as "aSub" second argument needs to be a FAE not a closureV, which is
 > what we get interpreting (interp arg-expr ds).

Why needs the second argument to be a FAE?
Couldn't it be a FAE-Value? That one is "closure compatible"...

Regards,
Thomas