Tony Garnock-Jones
9a0697e3c5
New dataspace pattern language.
2024-04-09 14:00:33 +02:00
Tony Garnock-Jones
5d0d636f16
Happy new year
2024-03-10 12:43:06 +01:00
Tony Garnock-Jones
89353fa84f
Happy new year
2023-01-16 15:57:29 +01:00
Tony Garnock-Jones
639ceae231
instantiate-pattern
2023-01-16 15:56:25 +01:00
Tony Garnock-Jones
2124915de2
Allow various kinds of statelike processing during pattern analysis
2022-12-24 21:08:57 +13:00
Tony Garnock-Jones
55e5c36725
Remove seemingly-unnecessary case for ($ (unquote bp) p) in pattern.rkt
2022-12-15 11:45:49 +13:00
Tony Garnock-Jones
afb887e649
Named arguments to analyse-pattern
2022-12-15 11:42:06 +13:00
Tony Garnock-Jones
cfe2cc4af7
Update to latest racket-auxiliary-macro-context
2022-12-15 11:09:40 +13:00
Tony Garnock-Jones
1b9eddc0b6
Update code to match latest schema changes
2022-01-20 09:54:07 +01:00
Tony Garnock-Jones
d4d53fa9ba
Bump copyright years
2022-01-16 09:48:18 +01:00
Tony Garnock-Jones
5ff75d05ab
Remove name from DBind
2021-08-11 15:52:01 -04:00
Tony Garnock-Jones
8008ca5a53
Rearrange protocols subtree
2021-07-01 09:51:17 +02:00
Tony Garnock-Jones
f2063997ec
Update schemas to match new identifier restrictions.
2021-06-25 09:45:38 +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
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
247fd1b2c0
Introduce `object` and `spawn/link`
2021-06-10 16:21:30 +02:00
Tony Garnock-Jones
3984a2c22a
Correct generation of patterns for literal embedded-values
2021-06-10 13:32:39 +02:00
Tony Garnock-Jones
40c26f006e
Remove :template in favour of ->preserve
2021-06-08 16:20:58 +02:00
Tony Garnock-Jones
19fc5f97bb
Adapt to recent changes in preserves-schema
2021-06-08 15:39:55 +02:00
Tony Garnock-Jones
bed381dd5e
Remove unwanted commented code
2021-06-08 09:30:38 +02:00
Tony Garnock-Jones
b22ed84bdb
Minor refactoring
2021-06-08 09:30:29 +02:00
Tony Garnock-Jones
2d07e46c67
Fix and add copyright notices
2021-06-04 16:20:14 +02:00
Tony Garnock-Jones
7be7c36537
Merge branch 'main' into novy
2021-06-04 16:19:41 +02:00
Tony Garnock-Jones
2a360bff32
Adjust copyrights
2021-06-04 15:56:03 +02:00
Tony Garnock-Jones
c6d4d3acf1
Fix up copyright notices
2021-06-04 11:35:27 +02:00
855b7835f6
Added license header to each source code file
2021-06-04 11:13:49 +02:00
Tony Garnock-Jones
2a9cdfc5cc
!dump-registered-preserves-patterns!
2021-06-03 23:23:48 +02:00
Tony Garnock-Jones
50f6dfadc0
Pattern quasiquotation (!!!)
2021-06-03 22:48:12 +02:00
Tony Garnock-Jones
7bf0f17e8e
Repair missing argument in call to struct-label-and-arity
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
12df86ee74
Hash-table patterns
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
507f137c25
Fix templates of union schemas
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
6fe14e09a5
Pattern decomposition
2021-06-03 15:58:48 +02:00
Tony Garnock-Jones
7a9f52b97c
Add missing layer in pattern generation
2021-06-02 13:41:30 +02:00
Tony Garnock-Jones
fe6430abfd
Add :template
2021-06-02 12:50:21 +02:00
Tony Garnock-Jones
ac01ce4dfe
Work towards schema-to-pattern compiler
2021-06-02 12:37:36 +02:00
Tony Garnock-Jones
5c97661c73
Update schemas for new embedded syntax; steps toward pattern support
2021-06-02 06:57:48 +02:00
Tony Garnock-Jones
08c4980025
Move the bulk of the existing implementation out of the way
2021-05-27 10:34:35 +02:00
45f638ebae
Silly mistake
2018-11-02 15:09:20 +00:00
8ff6dc5ff8
Eliminate one set of dummy wrappers
2018-10-20 18:27:15 +01:00
daba892a07
pattern-expander.rkt
2018-05-04 23:15:09 +01:00
000fa3c008
Extremely limited support for quasiquoting and quoting in patterns
2018-05-04 16:56:23 +01:00
e4e0b5f9d4
Support vector in patterns, like we already support list
2018-05-01 20:57:22 +01:00
f40e7c15cc
Refactor tests
2018-04-29 11:55:32 +01:00
e6d6f67021
during/spawn
2018-04-22 21:07:35 +01:00
55f4b55784
Implement during and ad-hoc assertions
2018-04-19 17:55:52 +01:00
eb24d566e9
Progress on syntax veneer
2018-04-08 11:44:32 +01:00
2e67feee6d
POC imperative dataspace implementation, with set-box example
2018-04-06 11:37:59 +01:00
25997cc778
Switch to skeleton-stx with struct-type rather than predicate
2018-03-27 22:21:49 +13:00
Tony Garnock-Jones
Massimo Zaniboni
Tony Garnock-Jones