syndicate-lang
/
syndicate-rkt
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
syndicate-rkt/syndicate/private/protocols/schemas/tcp.prs

8 lines
213 B
Plaintext
Raw Normal View History

Beginnings of a TCP driver
2021-06-10 08:00:43 +00:00
version 1 .
Rename RefAny -> Cap
2021-07-22 12:12:53 +00:00
embeddedType EntityRef.Cap .
Beginnings of a TCP driver
2021-06-10 08:00:43 +00:00
Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks Also, a few other important changes: - Better printing of entity-ref structs - Inertness checks on assertion retraction (!) and preventer-disarm - Correct selection of active facet during dataflow recomputations - Repair silly omission in turn-assert/dataflow!
2021-06-16 19:41:53 +00:00
TcpRemote = <tcp-remote @host string @port int>.
TcpLocal = <tcp-local @host string @port int>.
Beginnings of a TCP driver
2021-06-10 08:00:43 +00:00
Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks Also, a few other important changes: - Better printing of entity-ref structs - Inertness checks on assertion retraction (!) and preventer-disarm - Correct selection of active facet during dataflow recomputations - Repair silly omission in turn-assert/dataflow!
2021-06-16 19:41:53 +00:00
TcpPeerInfo = <tcp-peer @handle #!any @local TcpLocal @remote TcpRemote>.