From dd23de304f1a41c2e64225d8c56bca3d43755cfe Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Fri, 3 Feb 2023 12:53:47 +0100
Subject: [PATCH] Expand the comment before Dynamics%.

---
 networks.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/networks.rkt b/networks.rkt
index 96cec5b..82b053f 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -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)