From 75560658a0795d06c55d018c214d1628a80041b3 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 16 Jan 2022 23:15:33 +0100 Subject: [PATCH] =?UTF-8?q?networks:=20eval-with=20=E2=86=92=20eval1-with?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This makes the type checker happy because it's more precise to use eval1-with. --- networks.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/networks.rkt b/networks.rkt index 27dc3af..beaac66 100644 --- a/networks.rkt +++ b/networks.rkt @@ -275,7 +275,7 @@ ;;; Build an update function from an update function form. (define (update-function-form->update-function form) - (λ (s) (eval-with s form))) + (λ (s) (eval1-with s form))) (module+ test (test-case "update-function-form->update-function"