c564bd28ec
Weirdly, irssi sends the "ison" command in lower-case.
2018-07-30 19:39:11 +01:00
75b3488c83
Merge branch 'master' into imperative
2018-06-01 09:13:04 +01:00
cb351eee09
Repair current-ground-dataspace initialization, to allow override in e.g. graphical programs
2018-06-01 09:12:39 +01:00
939b0620ed
filesystem driver
2018-05-11 09:58:25 +01:00
a391b0ff24
Port netstack to imperative-syndicate.
...
If you change `racket-bitsyntax` to use `typed/racket/base/no-check`
for its `bitstring.rkt` module, this runs about 15x faster than the
`syndicate` version of the stack. Otherwise, it runs about 3x faster
than the `syndicate` version of the stack.
2018-05-06 15:28:41 +01:00
017d5851be
More robust against experimentation where the range of `i` is increased
2018-05-06 13:38:52 +01:00
dbcc931ebd
Notes on tcp2 protocol
2018-05-06 11:24:28 +01:00
07d5656e41
New test case
2018-05-06 11:06:36 +01:00
5cd8e2c2cb
Add missing assertion for outbound connections.
2018-05-06 11:03:39 +01:00
fd7cac5bae
Repair bogus test. I should have caught this earlier!
2018-05-06 10:55:21 +01:00
3c7676906d
Improve the kinds of tests we can do for expected output slightly.
2018-05-06 10:55:02 +01:00
85535608fd
pattern-expander.rkt
2018-05-04 23:15:09 +01:00
12d4e95ac4
GUI example
2018-05-04 16:57:22 +01:00
ff4c4a59bd
Cosmetic - extra logging (when uncommented)
2018-05-04 16:56:56 +01:00
c77416b727
Repair long-standing error in skeleton-walking.
2018-05-04 16:56:45 +01:00
cc54496ac6
Extremely limited support for quasiquoting and quoting in patterns
2018-05-04 16:56:23 +01:00
59e1a09d61
Clock face example
2018-05-04 16:09:12 +01:00
00c6311bfc
Quasi-useful debug output
2018-05-04 16:04:42 +01:00
d9ca939d60
Restriction-paths: right idea (?), wrong implementation. This time maybe.
...
Instead of having restriction-paths as an adjunct to a change, they're
more propertly a part of each assertion itself. The new `skeleton.rkt`
keeps an optional restriction-path with each assertion, treating it as
distinct from its underlying assertion. The idea of not signalling
changes in assertions that have a restriction-path mismatch stays.
2018-05-04 15:55:53 +01:00
ab75efe7f9
Skip apply-patch! make-work if patch is empty
2018-05-03 22:56:40 +01:00
c27ace547d
Add the concept of "restriction-path", which limits assertion visibility.
...
This is used when relaying: because we don't have access to the full
term, but only the projection results, we are inserting various
`(discard)`s. This is the cause of the failure in
`test/core/nesting-confusion.rkt`.
By adding `restriction-path`, we allow the inner dataspace to avoid
showing a reconstructed term to endpoints that might be able to
observe the reconstructed parts.
An alternative implementation approach is to generalize patterns in
the inner relay actor, translating all `(discard)`s into captures,
which would give us all the relevant terms that we need. The way I've
chosen to go (or at least, to try out) allows us to potentially keep
the "efficient" idea of just transmitting pattern-bound values across
some network link connecting dataspaces. The alternative would require
transmission of the full assertions, eliding no irrelevant detail.
2018-05-03 22:09:33 +01:00
8acfaab8f8
for/bag and for/bag/count
2018-05-03 22:09:13 +01:00
58695351d9
Make test-implementation language expose all of `racket` rather than just `racket/base`, for convenience.
2018-05-03 22:08:52 +01:00
b95dd5142a
Reuse apply-patch for initial-assertions too
2018-05-03 20:09:34 +01:00
afaebdf69c
Factor out assertion structure definitions
2018-05-03 16:14:30 +01:00
7079a14d5a
Notes on install and test
2018-05-03 15:21:33 +01:00
a4b8294734
README.md
2018-05-03 15:06:53 +01:00
83b088e5ee
Merge branch 'master' into imperative
2018-05-03 14:51:39 +01:00
5631b24904
Add second, non-dataspace, test case to illustrate correct behaviour
2018-05-02 23:36:03 +01:00
835528e855
New (failing) test case re: the approach to relaying
2018-05-02 18:23:02 +01:00
496682f550
Correct printing of test procedures
2018-05-02 18:20:33 +01:00
e7773e918d
Add `bag-empty?`
2018-05-02 18:20:24 +01:00
81e5cfbec4
Ensure (??) that relays' assertions can't outlive them
2018-05-02 18:10:52 +01:00
0b0615ec46
Notes on eventual improvements to dataspace nesting
2018-05-02 13:19:18 +01:00
7d9f505fc6
Merge pull request #34 from tonyg/module-begin
...
Re-finagle module-begin to a more incremental style
2018-05-01 18:13:20 -04:00
f9af2de438
Actually-useful instantaneous frame rate measurement
2018-05-01 22:40:12 +01:00
67279c9da7
Handy logging for diagnosing problems
2018-05-01 22:39:50 +01:00
d3a7179907
Eliminate a (mostly harmless) source of #f current-facet.
2018-05-01 22:39:26 +01:00
571fc13787
Allow multiple "root" facets, by creating a dummy root
2018-05-01 22:39:02 +01:00
15120a8488
A few names for unnamed actors make it clear which actor is faulting
2018-05-01 21:19:19 +01:00
76c74f25c2
Adapt platformer to imperative-syndicate. Mostly working!
...
It's also nicely fast compared to the old-Syndicate version :-)
There are still some problems with parameters in cross-ds relaying;
the symptom is #f for (current-facet) at some point, leading to some
sprites that don't get retracted (!).
2018-05-01 21:15:22 +01:00
7b05a25301
First sketch of `quit-dataspace!`.
2018-05-01 21:12:54 +01:00
77a3042c98
Multi-assert!/retract! for adhoc assertions
2018-05-01 20:58:26 +01:00
9d4388ad8c
More thoughtless uncommenting of query-* forms
2018-05-01 20:58:02 +01:00
7e71f04cc6
Correct error from earlier thoughtless uncommenting
2018-05-01 20:57:42 +01:00
bf98354984
Support vector in patterns, like we already support list
2018-05-01 20:57:22 +01:00
e402725d7f
note
2018-05-01 13:55:34 -04:00
f1c51661c7
Re-finagle module-begin to a more incremental style
...
Fixes 33
2018-05-01 13:55:34 -04:00
f4681c21a1
gl-2d driver and examples
2018-05-01 17:39:17 +01:00
e44ee5ef28
Drain multiple external ground events at once. (Good or bad idea?)
2018-05-01 17:34:51 +01:00
Tony Garnock-Jones
Sam Caldwell