Commit Graph

228 Commits

Author SHA1 Message Date
Tony Garnock-Jones 4713e957ca Adapt route.rkt to use sorted-map; doesn't work, because they don't have canonical forms 2014-07-18 19:58:58 -07:00
Tony Garnock-Jones 3bfc9b910a sorted-map-has-key? 2014-07-18 19:58:58 -07:00
Tony Garnock-Jones 26bd5c7638 changed to use the order? convention from data/order 2014-07-18 19:58:58 -07:00
Tony Garnock-Jones f6a8b84d81 sorted-map-values 2014-07-18 19:58:57 -07:00
Tony Garnock-Jones a5dc977d73 Add sorted-map-keys 2014-07-18 19:58:57 -07:00
Tony Garnock-Jones 0b0020153e Constant-time sorted-map-size 2014-07-18 19:58:57 -07:00
Tony Garnock-Jones 10803adcd2 Hash-consed red-black treemap 2014-07-18 19:58:57 -07:00
Tony Garnock-Jones a86a0cd326 Remove redundant and wrong clause in match-values 2014-07-18 19:58:08 -07:00
Tony Garnock-Jones 4c031254f7 Moved broker from js-marketplace/server.rkt 2014-07-18 10:35:11 -07:00
Tony Garnock-Jones d39beee8a1 Full subtraction. Drastic simplifications all round based on new invariants. 2014-07-16 19:58:24 -07:00
Tony Garnock-Jones 35ccad13d2 Initial steps toward refactoring erase-path into subtract 2014-07-16 14:02:27 -07:00
Tony Garnock-Jones 41666ff408 Canonicalize matchers to permit quick equality testing 2014-07-16 11:13:45 -07:00
Tony Garnock-Jones 8bce94c2e3 fold in the #f-checks from merge to walk, like js-marketplace does 2014-07-15 13:55:53 -07:00
Tony Garnock-Jones 9dd268bdfd Cosmetic 2014-06-27 16:27:16 -04:00
Tony Garnock-Jones 9af8adee79 actorise the relay 2014-06-27 16:26:46 -04:00
Tony Garnock-Jones edfb1a9250 Correct error in #:run-transition 2014-06-27 16:26:14 -04:00
Tony Garnock-Jones 24666b58b3 Avoid adding an event-handler for message receipt unless there are some body clauses to process 2014-06-27 16:26:05 -04:00
Tony Garnock-Jones d991ad934f observe-gestalt 2014-06-27 16:25:49 -04:00
Tony Garnock-Jones 20a50967c5 filter-event 2014-06-27 16:25:26 -04:00
Tony Garnock-Jones 8050324f5b Switch from gestalt-observers/message-handlers to plain event-handlers 2014-06-27 15:51:58 -04:00
Tony Garnock-Jones 82edbd0936 Cosmetic 2014-06-27 15:33:28 -04:00
Tony Garnock-Jones 584831e3e9 Note re: #:arguments 2014-06-27 00:36:19 -04:00
Tony Garnock-Jones 07bc1affed Fix use of gestalt-stx 2014-06-27 00:36:09 -04:00
Tony Garnock-Jones 064d70d602 Fix actor scoping. 2014-06-27 00:15:49 -04:00
Tony Garnock-Jones af3a27c3c3 Provide struct projection; make projection and gestalt non-transparent 2014-06-27 00:14:18 -04:00
Tony Garnock-Jones b58c31b4b5 Note about forbidding set! of state variables 2014-06-26 20:39:36 -04:00
Tony Garnock-Jones 64d1a01934 Comments; split states into statevars and statetemps 2014-06-23 11:07:33 -04:00
Tony Garnock-Jones c0ad546b54 Refactor actor macro to declutter parsing state management. 2014-06-23 10:54:25 -04:00
Tony Garnock-Jones 7502656531 Actorize the timer driver and avoid inertness-preventing permanent subscription at ground-meta-level 2014-06-23 07:28:20 -04:00
Tony Garnock-Jones bfe9a5224d Avoid inertness-preventing ground-meta-level example subscriptions 2014-06-23 07:27:53 -04:00
Tony Garnock-Jones c0a92a64f5 Fix error in analyze-body* macro; adjust scope of compute-gestalt 2014-06-23 07:27:25 -04:00
Tony Garnock-Jones 38ea50e352 Cosmetic 2014-06-23 07:00:27 -04:00
Tony Garnock-Jones 2ec167560d Remove unneeded require 2014-06-23 06:56:47 -04:00
Tony Garnock-Jones b928d6c78a Use actor macro 2014-06-22 22:49:13 -04:00
Tony Garnock-Jones ceef225fce New actor syntax for minimart actors 2014-06-22 22:16:42 -04:00
Tony Garnock-Jones feaffaa752 gestalt-union* 2014-06-22 22:03:09 -04:00
Tony Garnock-Jones 244e793d03 Support boot actions in spawned processes. 2014-06-22 22:02:58 -04:00
Tony Garnock-Jones 43992462fa Make timer driver use send-ground-message rather than changing gestalt. 2014-06-21 11:38:27 -04:00
Tony Garnock-Jones 90af8c3584 Make ground async-channel always available, rather than dynamically
scoped to run-ground. This is important because (spawn-timer-driver),
for example, is called outside run-ground and spawns a thread that
communicates with ground via the ground async-channel. When we move to
running multiple grounds at once, we will have to revisit the
parameterization scheme here.
2014-06-21 11:37:05 -04:00
Tony Garnock-Jones ac6efba7a5 Finer MINIMART_TRACE control over tracing. 2014-06-21 11:36:26 -04:00
Tony Garnock-Jones 2466fe61c1 Make pretty-printed output a little wider 2014-06-21 11:06:33 -04:00
Tony Garnock-Jones bc3e5be900 Unwrap trigger-guarded behavior when printing quit notifications 2014-06-21 11:03:16 -04:00
Tony Garnock-Jones b2eef0c54a Better behavior printing 2014-06-21 10:58:02 -04:00
Tony Garnock-Jones 815294cd2b More flexible tracing of worlds 2014-06-21 10:45:38 -04:00
Tony Garnock-Jones d17f7bdeb4 Clean up contract-like transition-checking. 2014-06-21 07:33:12 -04:00
Tony Garnock-Jones b4e2e28027 Introduce step-process (as composition of deliver-event and apply-transition) 2014-06-21 07:29:21 -04:00
Tony Garnock-Jones 3dc7d25724 Warn on wildcard gestalt-projections 2014-06-19 22:38:05 -04:00
Tony Garnock-Jones e1f72f92e8 UDP socket driver and example 2014-06-19 13:43:18 -04:00
Tony Garnock-Jones b3db1dd464 Tweak to projection->gestalt; expose projection-spec; catch capture-in-pattern error 2014-06-18 20:18:23 -04:00
Tony Garnock-Jones cade391056 Catch errors of wildcard demand/supply in demand-matcher 2014-06-18 20:17:56 -04:00