From 5850c5b06dff53caf7edc8ac42515e7556f0631a Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Fri, 11 Jun 2021 14:18:53 +0200
Subject: [PATCH] Credit-based flow control on tcp driver; line mode

---
 tcp.prs | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/tcp.prs b/tcp.prs
index d41eaed..c0bbd24 100644
--- a/tcp.prs
+++ b/tcp.prs
@@ -13,5 +13,15 @@ ActiveSocket =
   / Socket
 .
 
-; TODO: <credit @amount int>
-Socket = <data @payload bytes>.
+Socket =
+  / Credit
+  / <line @text string @mode LineMode>
+  / <data @payload bytes>
+  / <eof>
+.
+
+LineMode = =lf / =crlf .
+
+Credit = <credit @amount CreditAmount @unit CreditMode>.
+CreditMode = =bytes / @lines LineMode .
+CreditAmount = @count int / @unbounded =unbounded .