Commit Graph

1111 Commits

Author SHA1 Message Date
Tony Garnock-Jones 990ad4ca72 Pretty-print struct process instances 2017-07-12 10:29:26 -04:00
Tony Garnock-Jones 3073d8b614 Avoid some stop-when/rising-edge/flag combinations, and some rising-edge uses generally 2017-07-05 07:13:36 -04:00
Tony Garnock-Jones 37cee0c937 (stop-current-facet) 2017-07-05 06:28:06 -04:00
Tony Garnock-Jones ac5c5d2e5f First steps toward correct facet-termination.
- Facet IDs are now lists so arbitrary ancestors can be computed with
   repeated application of cdr

 - `stop-facet` is new and untested, other than that `stop-when` is
   refactored to use `stop-facet`

 - *all* matching stop-when instances run now; the limitation that
    exactly one instance should match is lifted.

 - roughly, (stop-when E X ...) === (on E (stop (current-facet-id) X ...))

Remaining to be done: fix `terminate-facet!` to do the right things in
the right order.
2017-07-04 22:03:32 -04:00
Tony Garnock-Jones 1fdd62d56d Remove enforcement of field scoping rules dating back to separate-actor implementation of HLL 2017-07-04 16:31:46 -04:00
Tony Garnock-Jones 46fd5e2b92 Remove/unprovide a few unneeded utilities from patch.rkt 2017-06-23 17:57:35 -04:00
Tony Garnock-Jones 9b54069ecd chat-multiroom-topic-persist.rkt 2017-05-12 19:21:41 -04:00
Tony Garnock-Jones 42742fe8ac chat-multiroom-topic.rkt 2017-05-12 18:55:32 -04:00
Tony Garnock-Jones 966cd2ed17 Comment 2017-05-12 17:14:18 -04:00
Tony Garnock-Jones 4be0a8cb59 chat-multiroom.rkt 2017-05-12 15:45:38 -04:00
Tony Garnock-Jones b9dfd79f34 example-bug-rising-edge-true.rkt 2017-05-04 09:08:47 -04:00
Sam Caldwell 6448188e82 Create test harness & lang for contrasting big & little actor langs 2017-04-20 13:50:01 -04:00
Sam Caldwell 9498f5129e tweak crazy mikes 2017-04-20 13:50:00 -04:00
Tony Garnock-Jones 425a5abac3 Default to empty-string to avoid crash when header entirely absent 2017-03-25 15:19:21 -04:00
Sam Caldwell c15b75ecae crazy mikes eve example 2017-03-23 14:40:00 -04:00
Sam Caldwell d4f95d3a7b Allow creation of facets at the parent level when shutting down a facet
Behavior is fairly different from big implementation
2017-03-17 13:50:33 -04:00
Sam Caldwell 460d72d69e Run new facets with current knowledge 2017-03-17 13:50:33 -04:00
Sam Caldwell a8421f3929 actor -> spawn 2017-03-17 13:50:33 -04:00
Sam Caldwell 36ff30c289 No longer need to say `react` right after `actor` 2017-03-17 13:50:33 -04:00
Sam Caldwell da422ff117 update field declaration syntax to match full impl 2017-03-17 13:50:32 -04:00
Sam Caldwell 88f515a98f Change syntax of field accesses to match full implementation 2017-03-17 13:50:32 -04:00
Sam Caldwell fb3918404c fix exception handling for booting actors 2017-03-17 13:50:32 -04:00
Sam Caldwell 6ee97839fa use racket functions to represent lambdas 2017-03-17 13:50:32 -04:00
Sam Caldwell e57af91698 reorganize 2017-03-17 13:50:32 -04:00
Sam Caldwell 318363f4be cleanup 2017-03-17 13:50:32 -04:00
Sam Caldwell c8cc8051a1 don't run new facets asap 2017-03-17 13:50:32 -04:00
Sam Caldwell 34c3b6bf3a fix ft-assertions 2017-03-17 13:50:32 -04:00
Sam Caldwell 90bf07f6d4 fixups 2017-03-17 13:50:32 -04:00
Sam Caldwell 079e2da53d sort out relaying in hll interperter 2017-03-17 13:50:31 -04:00
Sam Caldwell df40cc7ba9 fix race in trace testing 2017-03-17 13:50:31 -04:00
Sam Caldwell 3986f4d0ea add trace testing 2017-03-17 13:50:31 -04:00
Sam Caldwell e1671ce878 add on-stop 2017-03-17 13:50:31 -04:00
Sam Caldwell da1f9d4b6d MONADS 2017-03-17 13:50:31 -04:00
Sam Caldwell 5544052488 add lambda to hll interp 2017-03-17 13:50:31 -04:00
Sam Caldwell 7b1c102224 add dataspaces to hll interp 2017-03-17 13:50:31 -04:00
Sam Caldwell 1be415eb45 cleanup 2017-03-17 13:50:31 -04:00
Sam Caldwell 53cd60f196 run hll actors in two steps
first: run facets/endpoints to determine the new facet tree and any
actions (messages, spawns)
second: use new facet tree to determine assertions and subscriptions

This makes sure that all field updates are visible to
assertions/subscriptions.
2017-03-17 13:50:31 -04:00
Sam Caldwell f19a02e859 catch exceptions from hll actors 2017-03-17 13:50:30 -04:00
Sam Caldwell 5a87428f62 partially working hll interpreter 2017-03-17 13:50:30 -04:00
Tony Garnock-Jones 118cdef4c6 Refactor other chat servers to match 2017-03-14 18:29:45 -04:00
Tony Garnock-Jones 689d410bda Rearrange chat-simplified-internals2.rkt 2017-03-14 18:06:02 -04:00
Tony Garnock-Jones 66667d9fe6 Track fragment versions to reestablish child fragments after a change.
Without this, if I edit, say, post-entry.html, then the actual rendered
post items disappear, because the UI protocol isn't sufficient to allow
replacement of a parent location with survival of a child. I am not sure
if this is a "fix" or a "workaround": it's workaroundish in that in
principle a child fragment could monitor its parent fragment and rebuild
itself when it detects a change. I suspect revision to the UI protocols
is indicated.
2017-03-11 10:54:32 -05:00
Tony Garnock-Jones cddce5a02b Avoid relative-path symlinks; see racket/racket issue #1563 2017-03-09 17:30:39 -05:00
Sam Caldwell e0e7baed46 Keep ground dataspace running while subscriptions are present 2017-03-08 18:00:45 -05:00
Tony Garnock-Jones dc83d33afb Cosmetic 2017-03-08 06:45:40 -05:00
Tony Garnock-Jones c51f18efc2 Compile lambda calculus into Syndicate 2017-03-08 06:37:27 -05:00
Sam Caldwell 921b84e056 Add upside-down relays 2017-03-07 12:59:39 -05:00
Tony Garnock-Jones ea1b1bc072 Allow run-ground to return the active set of assertions at the time of its exit. 2017-02-28 18:44:01 -05:00
Tony Garnock-Jones 6f70eaf93e Mixin example 2017-02-27 04:07:32 -05:00
Tony Garnock-Jones ee52520a13 spawn-dataspace --> dataspace-actor 2017-02-25 11:16:25 -05:00