From 6cfe8c2ba4fe220eae00cc706a5be3deccaa6be0 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 17 Jun 2021 13:38:30 +0200
Subject: [PATCH] `when` -> `on`; StreamConnection API; better `this-target`;
 tcp-listen errors

 - spec-generic StreamConnection translators, for simple TCP API
 - `when` -> `on`, better use for event-expanders
 - Removal of special processing of `at`, making `this-target` properly lexically scopeable
 - TcpListenError and handling of tcp-listen errors
 - SYNDICATE_COLUMNS for pretty-printing of dataspace traces
 - Repair driver-support.rkt thread shutdown turn-taking
 - Refinements to stream protocols and implementation
 - Improvements to syntax location preservation in syntax.rkt
---
 stream.prs | 3 +++
 tcp.prs    | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/stream.prs b/stream.prs
index 918c8f9..a565087 100644
--- a/stream.prs
+++ b/stream.prs
@@ -1,7 +1,10 @@
 version 1 .
 embeddedType EntityRef.Ref .
 
+; Assertions
 StreamConnection = <stream-connection @source #!Source @sink #!Sink @spec any>.
+StreamSpecListenable = <stream-spec-listenable @spec any>.
+StreamSpecConnectable = <stream-spec-connectable @spec any>.
 
 ; Assertion
 StreamListener = <stream-listener @spec any @handle #!ConnectionHandler>.
diff --git a/tcp.prs b/tcp.prs
index 7a6d5e1..b00df01 100644
--- a/tcp.prs
+++ b/tcp.prs
@@ -5,3 +5,5 @@ TcpRemote = <tcp-remote @host string @port int>.
 TcpLocal = <tcp-local @host string @port int>.
 
 TcpPeerInfo = <tcp-peer @handle #!any @local TcpLocal @remote TcpRemote>.
+
+TcpListenError = <tcp-listen-error @spec TcpLocal @message string>.