Commit Graph

247 Commits

Author SHA1 Message Date
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
Tony Garnock-Jones 0c0035e2e2 Minor readjustment to permit logging of full gestalt of worlds 2014-06-18 18:36:05 -04:00
Tony Garnock-Jones a8b0bd24e8 Support timeouts in on-gestalt 2014-06-18 18:00:03 -04:00
Tony Garnock-Jones 22d299b5a2 on-gestalt 2014-06-18 16:05:58 -04:00
Tony Garnock-Jones 7df1e40433 Improved interface to gestalt-project. 2014-06-18 16:05:46 -04:00
Tony Garnock-Jones 77f876c737 Use write for keys rather than display in pretty-print-matcher 2014-06-17 21:53:09 -04:00
Tony Garnock-Jones 25ee780598 Detail in matcher-erase-path cofinite situation. 2014-06-17 17:15:44 -04:00
Tony Garnock-Jones 867afdbf63 matcher->pretty-string 2014-06-17 17:15:34 -04:00
Tony Garnock-Jones 5057103681 Clarify logging of events and actions 2014-06-15 20:42:35 -04:00
Tony Garnock-Jones 22ae65d05e General-purpose broker-style relay from js-marketplace 2014-06-14 20:52:38 -04:00
Tony Garnock-Jones fc3bf46afa Silence noisy process spawn/terminate notices 2014-06-14 20:51:24 -04:00
Tony Garnock-Jones 44d5dfa528 Provide an identity for set-union 2014-06-14 20:50:35 -04:00
Tony Garnock-Jones ef4d47c67a Remove silly identity-projection efficiency hack. 2014-06-14 20:50:35 -04:00
Tony Garnock-Jones 646b9b9197 Ugh, stupid undefined-variable 2014-06-14 20:50:35 -04:00
Tony Garnock-Jones 9b05906efb Simplify matcher-project 2014-06-14 20:50:34 -04:00
Tony Garnock-Jones 1faa122c49 Changes from code review 2014-06-14 20:50:34 -04:00
Tony Garnock-Jones 5b7b192b60 Widen ground-level inertness detection to account for non-event ground-level gestalt. 2014-06-14 20:50:34 -04:00
Tony Garnock-Jones 30c007e0be Introduce threads and send-ground-message to TCP driver. 2014-06-14 20:50:34 -04:00
Tony Garnock-Jones 3a5e6c8e29 Notes and improvements from code review 2014-06-14 20:50:34 -04:00
Tony Garnock-Jones 18d625af45 Mostly cosmetic; improvements from yesterday's code review 2014-06-14 20:50:34 -04:00
Tony Garnock-Jones a86da29f68 Comments in ground.rkt 2014-06-14 20:50:34 -04:00
Tony Garnock-Jones 4370cb72a4 Correctly distinguish when multiple listeners exist 2014-06-14 20:50:03 -04:00
Tony Garnock-Jones eca3e9ded0 Switch websocket driver to use send-ground-message. 2014-06-11 16:03:22 -04:00
Tony Garnock-Jones aa629c8bbe send-ground-message 2014-06-11 16:02:46 -04:00
Tony Garnock-Jones 3e6fd930c5 Expose queue-prepare-for-dequeue 2014-06-11 16:02:17 -04:00
Tony Garnock-Jones e0aae6e3e0 Avoid use of wrap-evt, preferring handle-evt 2014-06-11 16:01:04 -04:00
Tony Garnock-Jones 50420a20dc More notes 2014-06-10 16:13:28 -04:00
Tony Garnock-Jones 289a7351df Documentation in the code 2014-06-10 13:54:10 -04:00
Tony Garnock-Jones 2eb8822c56 Avoid need for latching on listen-side TCP connections; flip demand-matcher's default orientation 2014-06-06 18:13:09 -04:00
Tony Garnock-Jones f4169206f5 Cosmetic 2014-06-06 18:06:14 -04:00
Tony Garnock-Jones 4addfee3b4 Handle connection refused, ish. 2014-06-06 18:06:02 -04:00
Tony Garnock-Jones fb6d22ad94 No need to try to let a quitting process know an updated gestalt 2014-06-06 18:05:17 -04:00