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

Fix the example for Dynamics%.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-09-17 15:36:08 +02:00
parent d2ab44c79b
commit 46612dd3df
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scribblings/networks.scrbl
View file

@ -412,7 +412,11 @@ This is the only method of @racket[dds%] overridden in this class.
The type of an instance of @racket[dynamics%] with values of type @racket[a].
@ex[
(ann (inst dynamics% Boolean) (Dynamics% Boolean))
(let* ([n (forms->boolean-network (hash 'a '(and a b)
'b '(not b)))]
[syn '((a) (b))]
[syn-dynamics (new (inst dynamics% Boolean) [network n] [mode syn])])
(ann syn-dynamics (Dynamics% Boolean)))
]
Note that, as of 2022-09-15, Typed Racket does not seem to allow to pass type