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

Fix Dynamics%.

Browse source 
Dynamics% used to be the type of the class, rather than the type of
its instances.
This commit is contained in:
Sergiu Ivanov 2022-09-17 00:55:33 +02:00
parent cc121fc9e3
commit d2ab44c79b
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
networks.rkt
View file

@ -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)