In-reply-to: Msg of 31 Mar 1986 19:59-EST from Bill Rozas <JINX%OZ.AI.MIT.EDU at XX.LCS.MIT.EDU>
I think that restricting LETREC to only procedures is slightly
excessive -- one should also be allowed to use delayed (call-by-need
or call-by-name) thunks since these are also useful and do not allow
any of the cases that I think you object to.