`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
This commit is contained in:
parent
b6bc816daf
commit
6cfe8c2ba4
|
@ -1,7 +1,10 @@
|
||||||
version 1 .
|
version 1 .
|
||||||
embeddedType EntityRef.Ref .
|
embeddedType EntityRef.Ref .
|
||||||
|
|
||||||
|
; Assertions
|
||||||
StreamConnection = <stream-connection @source #!Source @sink #!Sink @spec any>.
|
StreamConnection = <stream-connection @source #!Source @sink #!Sink @spec any>.
|
||||||
|
StreamSpecListenable = <stream-spec-listenable @spec any>.
|
||||||
|
StreamSpecConnectable = <stream-spec-connectable @spec any>.
|
||||||
|
|
||||||
; Assertion
|
; Assertion
|
||||||
StreamListener = <stream-listener @spec any @handle #!ConnectionHandler>.
|
StreamListener = <stream-listener @spec any @handle #!ConnectionHandler>.
|
||||||
|
|
2
tcp.prs
2
tcp.prs
|
@ -5,3 +5,5 @@ TcpRemote = <tcp-remote @host string @port int>.
|
||||||
TcpLocal = <tcp-local @host string @port int>.
|
TcpLocal = <tcp-local @host string @port int>.
|
||||||
|
|
||||||
TcpPeerInfo = <tcp-peer @handle #!any @local TcpLocal @remote TcpRemote>.
|
TcpPeerInfo = <tcp-peer @handle #!any @local TcpLocal @remote TcpRemote>.
|
||||||
|
|
||||||
|
TcpListenError = <tcp-listen-error @spec TcpLocal @message string>.
|
||||||
|
|
Loading…
Reference in New Issue