Tony Garnock-Jones
32f7a8f5c0
Absent named parameters in quasipatterns are treated as implicit discards
2021-12-09 22:13:05 +01:00
Tony Garnock-Jones
e0d76f8dd3
Dataspace.boot
2021-12-09 22:12:41 +01:00
Tony Garnock-Jones
1c1decdb7d
Repair type error for dataflow assertions
2021-12-09 22:12:02 +01:00
Tony Garnock-Jones
dd4af85296
Allow ancillary data as a side-channel for intra-image value passing
2021-12-09 22:11:46 +01:00
Tony Garnock-Jones
4ec02591c0
Initial QuasiValue support
2021-12-09 18:53:41 +01:00
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