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

Expand the comment before Dynamics%.

Browse source
This commit is contained in:
Sergiu Ivanov 2023-02-03 12:53:47 +01:00
parent 16626c70ec
commit dd23de304f
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

@ -542,7 +542,8 @@
;; passing type parameters to the parent.
;;
;; NOTE: The type appearing when you type dynamics% in the REPL does
;; not directly type check.
;; not directly type check, probably because of the structure types
;; which are fully expanded in the REPL.
(define-type (Dynamics% a)
(Instance (Class
(init (network (Network a) #:optional)