From 9113a788a98c07faa66dfc26bdf9686a02785bae Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 21 Mar 2020 19:19:23 +0100 Subject: [PATCH] networks: Make network? more precise. Require that the hash table maps variables to procedures, instead of requiring nothing of the values of the hash table. --- networks.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/networks.rkt b/networks.rkt index 1221a69..b847daf 100644 --- a/networks.rkt +++ b/networks.rkt @@ -100,7 +100,7 @@ (define update-function/c (-> state? any/c)) ;;; A network is a mapping from its variables to its update functions. -(define network? variable-mapping?) +(define network? (hash/c variable? procedure?)) ;;; Given a state s updates all the variables from xs. This ;;; corresponds to a parallel mode.