From b563912a552d97dd4f8d9c1bbaa6652185e059ae Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 6 Apr 2015 04:57:16 -0400 Subject: [PATCH 1/1] update for rename of exercises/assignment5.mdwn to exercises/assignment5-6.mdwn --- topics/week7_untyped_evaluator.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/week7_untyped_evaluator.mdwn b/topics/week7_untyped_evaluator.mdwn index ce9dd683..0af8d326 100644 --- a/topics/week7_untyped_evaluator.mdwn +++ b/topics/week7_untyped_evaluator.mdwn @@ -269,7 +269,7 @@ One of the helper functions used by `reduce_head_once` is a `substitute` functio This makes sure to substitute the replacement for any free occurrences of `Var ident` in the original, renaming bound variables in the original as needed so that no terms free in the replacement become captured by binding `Lambda`s or `Let`s in the original. This function is tricky to write correctly; so we supplied it for you. -However, one of the helper functions that *it* calls is `free_in (ident : identifier) (term : term) : bool`, and this was a function that you did [[write for an earlier homework|/exercises/assignment5/#occurs_free]]. Hence we asked you to adapt your implementation of that to the term datatype used in this interpreter. Here is a skeleton of this function: +However, one of the helper functions that *it* calls is `free_in (ident : identifier) (term : term) : bool`, and this was a function that you did [[write for an earlier homework|/exercises/assignment5-6#occurs_free]]. Hence we asked you to adapt your implementation of that to the term datatype used in this interpreter. Here is a skeleton of this function: let rec free_in (ident : identifier) (term : term) : bool = match term with -- 2.11.0