From afe36c630d22dfd2e68250ebc6a74fd38a530a9d Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Fri, 11 Jun 2021 15:29:12 +0200
Subject: [PATCH] Refactor/repair tcp.prs and tcp.rkt

---
 tcp.prs | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/tcp.prs b/tcp.prs
index c0bbd24..ad854f8 100644
--- a/tcp.prs
+++ b/tcp.prs
@@ -14,14 +14,12 @@ ActiveSocket =
 .
 
 Socket =
-  / Credit
-  / <line @text string @mode LineMode>
-  / <data @payload bytes>
+  / <credit @amount CreditAmount @mode Mode>
+  / <data @payload bytes @mode Mode>
   / <eof>
 .
 
-LineMode = =lf / =crlf .
-
-Credit = <credit @amount CreditAmount @unit CreditMode>.
-CreditMode = =bytes / @lines LineMode .
 CreditAmount = @count int / @unbounded =unbounded .
+
+Mode = =bytes / @lines LineMode .
+LineMode = =lf / =crlf .