From dbcc931ebd58f22fbc896aa3495b416d69ab21e8 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sun, 6 May 2018 11:24:28 +0100
Subject: [PATCH] Notes on tcp2 protocol

---
 imperative/drivers/tcp.rkt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/imperative/drivers/tcp.rkt b/imperative/drivers/tcp.rkt
index b022095..e594a3c 100644
--- a/imperative/drivers/tcp.rkt
+++ b/imperative/drivers/tcp.rkt
@@ -9,6 +9,10 @@
 ;; This would be nicer if it never signalled "open" at all, instead
 ;; asserting something like `tcp-error` until interest in the
 ;; connection goes away.
+;;
+;; TODO: This protocol is overly simplified.
+;; a) no flow control
+;; b) no facility for separate shutdown of inbound/outbound streams
 
 (provide (struct-out tcp-connection)
          (struct-out tcp-accepted)