Tony Garnock-Jones
90b56b1154
Merge latest changes from the syndicate-protocols repository
2021-07-25 18:46:46 +02:00
Tony Garnock-Jones
0b2c7ecfe1
Rename RefAny -> Cap
2021-07-22 14:12:53 +02:00
Tony Garnock-Jones
be6b30bba6
Switch Ref -> RefAny
2021-07-22 13:43:14 +02:00
Tony Garnock-Jones
993cf78a38
DeBruijn-like binding in patterns
2021-07-12 21:10:19 +02:00
Tony Garnock-Jones
b4b5a443d1
Use external protocol variant
2021-07-03 16:33:10 +02:00
Tony Garnock-Jones
996658cd0e
Merge latest changes from the syndicate-protocols repository
2021-07-03 09:04:21 +02:00
Tony Garnock-Jones
f7c6e7d164
Specify embedded type for sturdy.prs
2021-07-03 09:00:58 +02:00
Tony Garnock-Jones
e7ddfdf311
EntityRef.Ref in dataspacePatterns
2021-07-02 16:51:21 +02:00
Tony Garnock-Jones
dab79020f4
Variations on protocol for internal and external use
2021-07-02 16:48:15 +02:00
Tony Garnock-Jones
a6639b5380
Error packets
2021-07-02 10:11:53 +02:00
Tony Garnock-Jones
1eb4acdaca
Merge latest changes from the syndicate-protocols repository
2021-07-01 10:09:49 +02:00
Tony Garnock-Jones
06e922c511
Compiled schema bundle
2021-07-01 10:04:26 +02:00
Tony Garnock-Jones
13bc05e13c
Merge latest changes from the syndicate-protocols repository
2021-07-01 09:58:30 +02:00
Tony Garnock-Jones
255416c295
make pull-protocols
2021-07-01 09:58:25 +02:00
Tony Garnock-Jones
93c196acaa
Move schemas into subdirectory after subtree split
2021-07-01 09:51:53 +02:00
Tony Garnock-Jones
8008ca5a53
Rearrange protocols subtree
2021-07-01 09:51:17 +02:00
Tony Garnock-Jones
10694bb032
Split 'syndicate/schemas/' into commit 'e034486aaa96d08ecd85461904b1559564464e5a'
...
git-subtree-dir: syndicate/schemas
git-subtree-mainline: 824c2e201c
git-subtree-split: e034486aaa
2021-07-01 09:49:29 +02:00
Tony Garnock-Jones
824c2e201c
Rename NamedSimplePattern_ -> Binding
2021-06-25 10:25:39 +02:00
Tony Garnock-Jones
e034486aaa
Update schemas to match new identifier restrictions.
2021-06-25 09:45:38 +02:00
Tony Garnock-Jones
f2063997ec
Update schemas to match new identifier restrictions.
2021-06-25 09:45:38 +02:00
Tony Garnock-Jones
ef8e205eb2
Update README
2021-06-22 16:17:51 +02:00
Tony Garnock-Jones
c8f32f1910
Remove old implementation from git
2021-06-22 16:06:03 +02:00
Tony Garnock-Jones
b05451972b
Minor tightening
2021-06-21 15:14:35 +02:00
Tony Garnock-Jones
1d43b731f3
Repair embarrassing error in gen:custom-write for fields
2021-06-21 14:40:00 +02:00
Tony Garnock-Jones
1fb116630e
Queries
2021-06-21 14:39:41 +02:00
Tony Garnock-Jones
9fe2f923bc
tcp-echo-server-naive.rkt
2021-06-19 11:38:44 +02:00
Tony Garnock-Jones
6fe031e678
once
2021-06-18 22:19:54 +02:00
Tony Garnock-Jones
dfd51a5235
Repair connection-state tracking
2021-06-18 18:12:23 +02:00
Tony Garnock-Jones
2e0b9505cc
Sensible defaults; and return local source/sink from establish-connection
2021-06-18 17:43:16 +02:00
Tony Garnock-Jones
20eeb6cd55
Introduce "smart constructors" for patterns to merge literal chunks where possible, making patterns-over-patterns less annoying to express (hopefully)
2021-06-18 17:02:56 +02:00
Tony Garnock-Jones
8b1d3a5e3f
Put pattern-expanders first
2021-06-18 14:57:21 +02:00
Tony Garnock-Jones
6284fd6ebc
Slightly better error messages
2021-06-18 14:57:05 +02:00
Tony Garnock-Jones
824b078eac
Simpler stream connection protocol.
2021-06-18 13:48:12 +02:00
Tony Garnock-Jones
28901e9d31
Simpler stream connection protocol.
2021-06-18 13:48:12 +02:00
Tony Garnock-Jones
68db114840
Factor generic stream stuff out of tcp.rkt into stream.rkt
2021-06-17 15:26:14 +02:00
Tony Garnock-Jones
cf93327ed6
Services and service activation
2021-06-17 14:57:06 +02:00
Tony Garnock-Jones
0ab3526cba
Services and service activation
2021-06-17 14:57:06 +02:00
Tony Garnock-Jones
373fb77fc3
Make distributed/tcp-server respect TcpListenError
2021-06-17 13:43:01 +02:00
Tony Garnock-Jones
6cfe8c2ba4
`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
2021-06-17 13:38:30 +02:00
Tony Garnock-Jones
ac8ea67ab1
`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
2021-06-17 13:38:30 +02:00
Tony Garnock-Jones
a43b6d39aa
Downgrade a log-warning to a log-debug
2021-06-16 21:56:40 +02:00
Tony Garnock-Jones
b6bc816daf
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 21:44:07 +02:00
Tony Garnock-Jones
d30c6feeee
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 21:44:07 +02:00
Tony Garnock-Jones
ab9168a5ea
Better facet printing
2021-06-15 14:49:34 +02:00
Tony Garnock-Jones
44bee78044
stop-actor-system
2021-06-15 14:26:19 +02:00
Tony Garnock-Jones
3fe5d3a343
Check for EOF even when there are no credits
2021-06-15 14:03:26 +02:00
Tony Garnock-Jones
2b18bb5b36
Fix ordering of credit issue
2021-06-15 13:58:26 +02:00
Tony Garnock-Jones
cf99f2e2b3
Extra engine debug
2021-06-15 12:46:17 +02:00
Tony Garnock-Jones
a73b6a9f4a
Whole-packet flow credit
2021-06-15 12:46:09 +02:00
Tony Garnock-Jones
9451f9886f
Whole-packet flow credit
2021-06-15 12:46:09 +02:00