scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

networks: eval-with → eval1-with

Browse source 
This makes the type checker happy because it's more precise to use
eval1-with.
This commit is contained in:
Sergiu Ivanov 2022-01-16 23:15:33 +01:00
parent 556a4ae8bf
commit 75560658a0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
networks.rkt
View file

@ -275,7 +275,7 @@
;;; Build an update function from an update function form. ;;; Build an update function from an update function form.
(define (update-function-form->update-function form) (define (update-function-form->update-function form)
(λ (s) (eval-with s form))) (λ (s) (eval1-with s form)))
(module+ test (module+ test
(test-case "update-function-form->update-function" (test-case "update-function-form->update-function"