From d2ab44c79ba459e0c26abfb66f07083eaa986b6e Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 17 Sep 2022 00:55:33 +0200 Subject: [PATCH] Fix Dynamics%. Dynamics% used to be the type of the class, rather than the type of its instances. --- networks.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/networks.rkt b/networks.rkt index 5b292ec..27f3943 100644 --- a/networks.rkt +++ b/networks.rkt @@ -536,7 +536,7 @@ ;; ;; NOTE: The type appearing when you type dynamics% in the REPL does ;; not directly type check. - (define-type (Dynamics% a) + (define-type (DynamicsClass a) (Class (init (network (Network a) #:optional) (mode Mode #:optional)) @@ -549,6 +549,7 @@ (build-state-graph/annotated (-> (Listof (State Any)) Graph)) (build-state-graph* (-> (Listof (State Any)) (U Positive-Integer 'full) Graph)) (build-state-graph*/annotated (-> (Listof (State Any)) (U Positive-Integer 'full) Graph)))) + (define-type (Dynamics% a) (Instance (DynamicsClass a))) (module+ test (let* ([n1 : (Network Boolean)