rec-with
3 views
Skip to first unread message
Joseph Heydorn
Dec 2, 2010, 12:50:53 PM12/2/10
to byu-cs-330-Fall-2010
If generate-constraints finds:
(rec-with (f f)
....)
should it error? Or should alpha-vary find this error?
(rec-with (f f)
....)
should it error? Or should alpha-vary find this error?
Steven Nay
Dec 2, 2010, 12:55:55 PM12/2/10
to byu-cs-330...@googlegroups.com
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
Dec 2, 2010, 12:57:49 PM12/2/10
to byu-cs-330-Fall-2010
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
>
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
>
Reply all
Reply to author
Forward
0 new messages