Commit Graph

247 Commits

Author SHA1 Message Date
Tony Garnock-Jones 22e109413f gestalt->pretty-string 2014-06-06 16:20:35 -04:00
Tony Garnock-Jones 1e0971d0f1 Display pid-stack more consistently when logging. 2014-06-06 16:20:23 -04:00
Tony Garnock-Jones 95f050aca6 Tweaks to userland examples 2014-06-02 16:46:54 -04:00
Tony Garnock-Jones a572f270f0 Delimited-continuation based threaded style 2014-06-02 16:36:55 -04:00
Tony Garnock-Jones 52faa78444 Flush output after writing a line. 2014-06-02 16:33:35 -04:00
Tony Garnock-Jones 435ab0fbd8 TCP driver; simple example; chat server; chat client 2014-06-02 14:13:12 -04:00
Tony Garnock-Jones bdab665e36 Avoid laborious projection if all we're doing is capturing the whole thing anyway. 2014-06-02 14:12:45 -04:00
Tony Garnock-Jones 2014c22c41 Export matcher-empty? from core 2014-06-02 14:12:28 -04:00
Tony Garnock-Jones a2ee741832 matcher-key-set/single 2014-06-02 14:12:20 -04:00
Tony Garnock-Jones 58a0af38a6 Adjust projection to yield multiple values instead of a vector 2014-05-28 20:10:55 -04:00
Tony Garnock-Jones 96b92cf2d4 Support for embedding matchers in patterns 2014-05-28 17:11:36 -04:00
Tony Garnock-Jones 7a95306bb0 There may be no levels on the right-hand-side for a given metalevel. 2014-05-28 16:35:51 -04:00
Tony Garnock-Jones edd4436297 Default success/jsexpr transformers in gestalt/jsexpr conversion. 2014-05-28 16:31:40 -04:00
Tony Garnock-Jones dbb7e8fe67 gestalt-transform 2014-05-28 16:31:24 -04:00
Tony Garnock-Jones 53d0a67e96 Permit function to return #f in transition-bind 2014-05-28 16:31:05 -04:00
Tony Garnock-Jones 1a63a2c35d gestalt-accepts? 2014-05-28 16:30:50 -04:00
Tony Garnock-Jones 141f85b664 gestalt->jsexpr, jsexpr->gestalt 2014-05-28 16:02:20 -04:00
Tony Garnock-Jones 060e587fbf matcher->jsexpr, jsexpr->matcher 2014-05-28 15:53:04 -04:00
Tony Garnock-Jones 6b94074a41 Convert from pair-based to list-based matching. 2014-05-28 15:24:26 -04:00
Tony Garnock-Jones 720f84a4a6 Avoid inefficiency in filter and match by reordering union and intersection 2014-05-26 15:33:02 -04:00
Tony Garnock-Jones 8a7fce46fa Avoid redundant set wrapper 2014-05-26 14:57:40 -04:00
Tony Garnock-Jones 700e1eee57 Aggregate downward-gestalt separately from local process gestalts 2014-05-26 14:57:12 -04:00
Tony Garnock-Jones 3b2e2ad538 Another test 2014-05-26 06:29:06 -04:00
Tony Garnock-Jones 139adf074c Improved elision of wildcard-sequence cases in erase-path 2014-05-26 06:22:35 -04:00
Tony Garnock-Jones bd608c21a1 Remove unused function 2014-05-25 23:32:43 -04:00
Tony Garnock-Jones 4c2abd334c Make sure routing-updates reflect outer gestalt to updating process 2014-05-25 23:22:59 -04:00
Tony Garnock-Jones 52342e9ce5 Add TODO for bug re: downward gestalts 2014-05-25 13:23:25 -04:00
Tony Garnock-Jones 4c3c6d2e2d Eventually we should support infinite level 2014-05-25 13:23:12 -04:00
Tony Garnock-Jones 5058330e80 More tests of projection; change to default matcher-union-successes 2014-05-25 13:22:49 -04:00
Tony Garnock-Jones a9c750ab6b Eliminate useless unused argument 2014-05-25 11:33:20 -04:00
Tony Garnock-Jones 77a7620bdc Fix bug in projection against wildcards 2014-05-22 22:34:24 -04:00
Tony Garnock-Jones 9a5d9cb579 Move rseq* to test code, as it is otherwise unused 2014-05-22 19:13:02 -04:00
Tony Garnock-Jones cbf057204c Print empty gestalt differently to reduce ambiguity. 2014-05-22 18:49:26 -04:00
Tony Garnock-Jones 052c90ef78 Propagate transient gestalt states properly. Signal inital gestalts to spawned processes. 2014-05-22 18:49:13 -04:00
Tony Garnock-Jones a8fa384985 Reminder to perhaps remove the parameters again, as they may be slow 2014-05-21 23:41:01 -04:00
Tony Garnock-Jones 5092cff96b Update websocket driver and examples 2014-05-21 23:22:21 -04:00
Tony Garnock-Jones d86c64f68a Gestalts massively simplify demand-matcher 2014-05-21 23:21:39 -04:00
Tony Garnock-Jones d37eaa1236 Introduce parameters controlling route success merges; Ensure "minimal" path erasure 2014-05-21 23:20:49 -04:00
Tony Garnock-Jones aea07d16cc Convey the number of remaining processes after a termination 2014-05-21 23:17:25 -04:00
Tony Garnock-Jones bad652d0c5 Notes on important routing-update issues to address 2014-05-21 23:17:04 -04:00
Tony Garnock-Jones a7d8051e2e By setting the initial gestalt to #f, we ensure at least one routing-update gets through. 2014-05-21 23:16:38 -04:00
Tony Garnock-Jones bfa9c9cfcb projection->pattern 2014-05-21 21:02:38 -04:00
Tony Garnock-Jones 6649689b8f Make captures able to express and-patterns. 2014-05-21 20:54:36 -04:00
Tony Garnock-Jones 3bd9b338b5 Fix error messages 2014-05-21 19:59:06 -04:00
Tony Garnock-Jones e5ba41d8a3 Reformulate gestalts (again). Back to metalevel/level/pattern rather than metalevel/pattern/level. 2014-05-21 16:28:38 -04:00
Tony Garnock-Jones 513eec3b7b Correct comment (it was left behind when erase-path's args were flipped) 2014-05-20 23:32:07 -04:00
Tony Garnock-Jones a4e1d882f8 Reintroduce trigger-guards 2014-05-20 22:12:50 -04:00
Tony Garnock-Jones b750a01e78 Switch gestalt representations to accommodate n<m filtering.
The previous format separated out the different levels too much.
The new format pushes the level representation *under* the routing
matcher.
2014-05-20 21:50:19 -04:00
Tony Garnock-Jones 50ed37f52e gestalt-intersect is probably not useful as an API 2014-05-19 20:15:05 -04:00
Tony Garnock-Jones 77d23a0cba Updates to changed API 2014-05-19 20:01:43 -04:00