Commit Graph

210 Commits

Author SHA1 Message Date
Tony Garnock-Jones fdf765557e Repair serious error in skeleton indexing (double pop) 2021-12-09 18:52:58 +01:00
Tony Garnock-Jones 58daa8c981 Drop discards in smart pattern constructors 2021-12-09 18:52:42 +01:00
Tony Garnock-Jones 20b83aa5a5 Support stopping a root facet, such as happens when a link between actors is broken 2021-12-09 18:52:22 +01:00
Tony Garnock-Jones 5455392efc Repair typo 2021-12-09 18:51:57 +01:00
Tony Garnock-Jones b5e82cba9b Better Ref printing 2021-12-09 18:51:41 +01:00
Tony Garnock-Jones ffee492fec Debug-dumping of skeleton structure 2021-12-09 18:50:46 +01:00
Tony Garnock-Jones c9da4fcf26 Stack utilities 2021-12-09 18:47:43 +01:00
Tony Garnock-Jones fb420855e9 Use a global variable instead of threading thisTurn through everywhere. Should improve ergonomics a little. 2021-12-03 01:46:41 +01:00
Tony Garnock-Jones dd14c8471d Update compiler 2021-12-03 00:55:42 +01:00
Tony Garnock-Jones f9d1e694e0 Examples and bug-fixes 2021-12-02 16:04:07 +01:00
Tony Garnock-Jones d51af436f5 Much progress 2021-12-02 14:40:24 +01:00
Tony Garnock-Jones d2f5c947ac Bulk copyright notice repair 2021-12-01 17:24:29 +01:00
Tony Garnock-Jones 1563398dd8 More WIP novy 2021-12-01 17:13:00 +01:00
Tony Garnock-Jones c6fff70bae WIP moving to novy 2021-12-01 16:27:06 +01:00
Tony Garnock-Jones dc5c97b027 Major update to @preserves/core from old preserves package. 2021-05-17 16:26:01 +02:00
Tony Garnock-Jones ccd87c09f1 Adapt to latest Preserves changes 2021-03-03 10:28:10 +01:00
Tony Garnock-Jones 63a2146f87 Fix handling of template string substitutions in scanner/reader; timer driver; flappy bird demo; associated repairs 2021-01-29 19:56:12 +01:00
Tony Garnock-Jones 5d2e776ecf Repair error caused by mutation of a set mid-iteration 2021-01-29 15:37:27 +01:00
Tony Garnock-Jones 82e9457359 More fixes 2021-01-26 22:09:21 +01:00
Tony Garnock-Jones 690ac12cc0 Many fixes to compiler; watchable syndicate-tsc 2021-01-25 22:16:52 +01:00
Tony Garnock-Jones 97aaa5ef5d Better field typing 2021-01-19 21:05:04 +01:00
Tony Garnock-Jones 7be246a400 Module activation; batch compilation 2021-01-19 15:13:42 +01:00
Tony Garnock-Jones 8c2729e3d8 Tweaks for in-browser use 2021-01-18 23:36:22 +01:00
Tony Garnock-Jones 606daa625b Refactor, improve, and repair 2021-01-18 23:11:53 +01:00
Tony Garnock-Jones eaeb4b7df8 Use source position within templates, now that StringScanner is fixed 2021-01-18 15:32:51 +01:00
Tony Garnock-Jones a0712af032 Remove unused imports/variables 2021-01-18 15:32:38 +01:00
Tony Garnock-Jones f46276cf05 Repair indexing calculation in StringScanner to support nontrivial use of source positions 2021-01-18 15:32:21 +01:00
Tony Garnock-Jones 2ff3067fad Reusable compiler 2021-01-17 22:27:04 +01:00
Tony Garnock-Jones 6408493ea3 Better packaging 2021-01-17 14:14:02 +01:00
Tony Garnock-Jones fc23d1b779 First run of new compiler output! 2021-01-16 17:46:18 +01:00
Tony Garnock-Jones ed12c1c69c Improved field declaration parsing 2021-01-15 14:22:44 +01:00
Tony Garnock-Jones 71cde3daba Follow preserves changes for strict mode 2021-01-15 14:11:12 +01:00
Tony Garnock-Jones 0f6059cd59 Strict tsconfig; more major steps toward ocap style 2021-01-15 13:38:15 +01:00
Tony Garnock-Jones b60551a52b Major step toward eliminating ambient authority 2021-01-14 14:42:30 +01:00
Tony Garnock-Jones c5efff9a0f Limit pass count 2021-01-14 13:15:23 +01:00
Tony Garnock-Jones 2105886c5e WIP lax parser, matcher, rewriter and compiler 2021-01-14 13:09:53 +01:00
Tony Garnock-Jones 5a412a5d9b Repair silly mistake: republish on *change*, not on *same*! 2021-01-12 14:34:33 +01:00
Tony Garnock-Jones 1501a719e4 Use differently-named Preserves canonicalString function 2021-01-12 14:34:06 +01:00
Tony Garnock-Jones 58e190e419 Initial port to typescript/es6/babel-free. Far from working or complete 2021-01-11 23:35:36 +01:00
Tony Garnock-Jones 212a92605e Flesh out util_stub a little more 2020-08-05 13:05:35 +02:00
Tony Garnock-Jones fa2c184545 Webpack -> Rollup 2020-08-05 12:36:53 +02:00
Tony Garnock-Jones 2f948067a7 Pass Ground VM to stopHandlers 2019-10-24 19:27:41 +01:00
Tony Garnock-Jones 1428b141cc Cope with echo-server minimart-benchmark test: flat new-connection cost 2019-06-21 17:24:07 +01:00
Tony Garnock-Jones e806f4b042 Partial repair for a deep problem with VisibilityRestriction.
This change makes `during` work "atomically" across a communications
delay, by ensuring that a retracted assertion matching the `during`'s
pattern triggers the "stop on" clause in the expansion of the
`during`.

Some discussion of the change exists in the Journal and in my
notebook.
2019-06-18 16:42:16 +01:00
Tony Garnock-Jones 1b8ffba878 Webpack messes with module.filename and __filename 2019-06-14 16:08:31 +01:00
Tony Garnock-Jones 2e9daad827 Protect other core modules, so that instanceof works properly 2019-06-14 15:33:02 +01:00
Tony Garnock-Jones d7169b2687 Undo stupid mistake 2019-06-14 13:15:36 +01:00
Tony Garnock-Jones 782d97a3ba Still whacking away at the singleton issue 2019-06-14 13:06:40 +01:00
Tony Garnock-Jones b24a8b04c8 Avoid gratuitously resetting singleton state 2019-06-13 22:41:09 +01:00
Tony Garnock-Jones 3042a23aad Get raw box-and-client example running again 2019-06-13 22:18:57 +01:00
Tony Garnock-Jones 2223f29ad2 Singleton fudgery 2019-06-13 22:18:45 +01:00
Tony Garnock-Jones d9b1316846 Comment out dataspace.js debugging, to avoid the speed penalty 2019-06-13 13:19:28 +01:00
Tony Garnock-Jones 163bf7e9ea Repair error in call to projectPaths 2019-06-08 16:02:23 +01:00
Tony Garnock-Jones 867b32b5be addObserverEndpoint 2019-06-03 12:06:04 +01:00
Tony Garnock-Jones f19ecb69c8 VisibilityRestriction.toString 2019-06-03 12:03:25 +01:00
Tony Garnock-Jones 844bc3457d Provide PRIORITY 2019-05-30 22:52:40 +01:00
Tony Garnock-Jones 0f6987b02d Debug output 2019-05-30 22:52:31 +01:00
Tony Garnock-Jones aebf989e8d Prevent wrapExternal from triggering if recipient facet is no longer alive 2018-12-16 06:50:52 +00:00
Tony Garnock-Jones b85ba4a9f0 Ignore spurious differences in job patterns 2018-12-14 13:27:19 +00:00
Tony Garnock-Jones f538891a25 Skeleton.isCompletelyConcrete 2018-12-14 13:01:54 +00:00
Tony Garnock-Jones 0f4a572393 Skeleton.match 2018-12-14 12:37:32 +00:00
Tony Garnock-Jones 3b18ac6800 Hack: keep workers running until the relay quits; this is arguably the wrong approach to a real problem 2018-12-13 20:18:48 +00:00
Tony Garnock-Jones 1cb66959dd Supply an encodable default nothing-ish value for workerData if none given 2018-12-13 20:17:23 +00:00
Tony Garnock-Jones e43d9eb067 Allow wrapExternal to work for nested dataspaces 2018-12-13 20:17:03 +00:00
Tony Garnock-Jones ed20317225 Don't rerun dataflow blocks when the facet they belong to is terminated 2018-12-13 20:16:47 +00:00
Tony Garnock-Jones d1877a890c Experimental node.js worker_threads support 2018-12-13 16:39:56 +00:00
Tony Garnock-Jones 2c3d7d247d Be stricter about facet-setup vs script phase separation 2018-11-29 17:39:15 +00:00
Tony Garnock-Jones 3318ac9e4e Track more information in order to produce an interesting visualisation 2018-11-28 17:52:35 +00:00
Tony Garnock-Jones c316c0646c More useful to have human-readable output for now 2018-11-27 10:50:05 +00:00
Tony Garnock-Jones 201ab84d03 Steps toward visualization of dataspaces 2018-11-26 21:58:40 +00:00
Tony Garnock-Jones 3713745a45 Facet tree debug output 2018-11-26 15:44:11 +00:00
Tony Garnock-Jones f837aac390 Simple ground dataspace dump on SIGQUIT (Ctrl-\) 2018-11-26 13:27:59 +00:00
Tony Garnock-Jones 0eb9205a19 Field updates now idempotent per Immutable.is 2018-11-26 13:27:59 +00:00
Tony Garnock-Jones 3adb057e13 Repair grievous error wrt immutable updates being discarded 2018-11-21 15:31:44 +00:00
Tony Garnock-Jones f56cbd9ed3 Reuse a constant Discard() instance 2018-11-21 15:10:13 +00:00
Tony Garnock-Jones 96201e7c0b Debug display of skeleton Index 2018-11-21 13:14:18 +00:00
Tony Garnock-Jones 343a305be9 Fix error in routing via list patterns 2018-11-21 13:13:42 +00:00
Tony Garnock-Jones 4048ce3ba2 Add VisibilityRestriction 2018-11-20 14:17:10 +00:00
Tony Garnock-Jones ae5096fae2 Experimental approach to VisibilityRestriction 2018-11-19 22:20:26 +00:00
Tony Garnock-Jones 822a5826f0 Fix Facet/Actor printing when name is null 2018-11-19 22:20:10 +00:00
Tony Garnock-Jones 71fed1eb48 Print Facets/Actors with toString instead of JSON 2018-11-19 16:56:10 +00:00
Tony Garnock-Jones 44c1d425b3 Switch to Preserves for Record and Bytes 2018-11-15 23:24:58 +00:00
Tony Garnock-Jones 4d634c78be Catch asynchronous errors 2018-11-15 07:45:55 +00:00
Tony Garnock-Jones 5d314f01db Allow for convenient calling of bootModule with an exports dict. 2018-11-13 20:53:24 +00:00
Tony Garnock-Jones ff7d235120 Remove __ and _$ in favour of plain structs Discard() and Capture(_), respectively 2018-11-13 14:08:10 +00:00
Tony Garnock-Jones 87fecf517a Correct foolish error. 2018-11-11 15:48:46 +00:00
Tony Garnock-Jones 52f9da8cac Proper treatment of actor containment; proper treatment of adhoc assertion 2018-11-11 15:21:44 +00:00
Tony Garnock-Jones 72e1653aa6 First stab at cross-dataspace relaying; does not yet handle adhoc assertions 2018-11-11 14:00:02 +00:00
Tony Garnock-Jones 066920b771 Allow Dataspace subclasses to extend endpoint-addition behaviour 2018-11-11 13:59:01 +00:00
Tony Garnock-Jones 3e3761ee89 Return outcome of assertion-adjustment 2018-11-11 13:58:37 +00:00
Tony Garnock-Jones 46535e5ab8 Remove endpoint from map when destroyed 2018-11-11 13:58:16 +00:00
Tony Garnock-Jones 76678f7b27 Factor out methods for index manipulation 2018-11-11 13:58:00 +00:00
Tony Garnock-Jones 82ffa7b57c Include random element to genUuid 2018-11-06 10:58:42 +00:00
Tony Garnock-Jones d256163d59 Allow caller to supply custom prefix to genUuid 2018-11-05 21:16:31 +00:00
Tony Garnock-Jones 1651ad2a8d Expose currentFacet directly 2018-11-05 11:19:52 +00:00
Tony Garnock-Jones 2688c09639 Be stricter about permissible assertions; repair error in Structure instantiation which led to raw arrays sneaking in 2018-11-04 19:52:53 +00:00
Tony Garnock-Jones 2cbbfd3394 Make `continuation` argument to `Facet.stop` optional 2018-11-04 19:40:39 +00:00
Tony Garnock-Jones 8a0dfb12c6 Avoid use of Symbols in during...spawn Instance protocol 2018-11-04 19:38:46 +00:00
Tony Garnock-Jones 4f8a1622ea Seal: support function-style ctor use; "render" to JSON 2018-11-04 19:30:54 +00:00
Tony Garnock-Jones aad64bf33c Support clamping in MutableBag's change method 2018-11-04 19:30:23 +00:00
Tony Garnock-Jones 230b54868f Some commented-out but useful debug logging 2018-11-03 22:19:52 +00:00
Tony Garnock-Jones b37ed5f342 Improved error logging 2018-11-03 22:19:30 +00:00
Tony Garnock-Jones 084566b579 Complain when constructing a Structure with an undefined field, not when manipulating such a structure later 2018-11-03 22:18:58 +00:00
Tony Garnock-Jones 8e7cf160d6 Set window._ground to the most recent Ground instance, in the browser 2018-11-03 22:18:36 +00:00
Tony Garnock-Jones ceff62ff92 Defer startup until DOMContentLoaded, in a browser environment 2018-11-03 22:18:15 +00:00
Tony Garnock-Jones 6ae6e4eb82 Track set of actors within a dataspace, for reflection/debugging. 2018-11-03 22:17:42 +00:00
Tony Garnock-Jones 8f7907fa3e during, during/spawn and react; not quite working yet 2018-11-02 17:08:48 +00:00
Tony Garnock-Jones 95f8e881d2 Allow alternate API to Dataspace.backgroundTask 2018-11-02 17:06:27 +00:00
Tony Garnock-Jones e62ccc7f5c Repair error in error-handling and -recovery. 2018-11-02 12:24:54 +00:00
Tony Garnock-Jones df9794e25f Prepare for monorepo 2018-11-02 10:42:58 +00:00