rec-with

[Joseph Heydorn]

If generate-constraints finds:

(rec-with (f f)
....)

should it error? Or should alpha-vary find this error?

[Steven Nay]

You don't need to check for it. The assignment says this:

However, you may assume that the rec-bound identifier only appears under a funin the bound body.

Steve Nay 

[Joseph Heydorn]

I see. Thanks.

On Dec 2, 10:55 am, Steven Nay <steven....@gmail.com> wrote:
> You don't need to check for it. The assignment says this:
>
> However, you may assume that the rec-bound identifier only appears under a
>
> > funin the bound body.
>
> Steve Nay
>