From 510533eb18002b8871f73d59be01305ef8a77e19 Mon Sep 17 00:00:00 2001 From: Matthew McLaughlin Date: Thu, 6 Apr 2023 17:06:59 -0700 Subject: [PATCH] We can also sub in other BSL-expr --- 04-Intertwined-Data/21-Refining-Interpreters/Exercise-357.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/04-Intertwined-Data/21-Refining-Interpreters/Exercise-357.rkt b/04-Intertwined-Data/21-Refining-Interpreters/Exercise-357.rkt index f0f57e8..d99b0be 100644 --- a/04-Intertwined-Data/21-Refining-Interpreters/Exercise-357.rkt +++ b/04-Intertwined-Data/21-Refining-Interpreters/Exercise-357.rkt @@ -64,7 +64,7 @@ (eval-definition1 plugd f x b)))])) -;; BSL-fun-expr Symbol Number -> BSL-fun-expr +;; BSL-fun-expr Symbol BSL-fun-expr -> BSL-fun-expr ;; Produces a BSL-fun-expr like ex ;; with the occurrences of x replaced by v. (check-expect (subst 100 'x 3) 100)