Commit Graph

236 Commits

Author SHA1 Message Date
Tony Garnock-Jones 6be4f9742b Publish
- @syndicate-lang/core@0.11.3
 - @syndicate-lang/html@0.11.4
 - @syndicate-lang/syndicatec@0.11.4
 - @syndicate-lang/timer@0.11.4
 - @syndicate-lang/ts-plugin@0.11.4
 - @syndicate-lang/tsc@0.11.4
 - @syndicate-lang/ws-relay@0.11.4
2022-01-26 16:26:44 +01:00
Tony Garnock-Jones 974d74023c Fixup wrt new preserves interfaces 2022-01-26 16:26:35 +01:00
Tony Garnock-Jones cfed352f40 Publish
- @syndicate-lang/compiler@0.11.2
 - @syndicate-lang/core@0.11.2
 - @syndicate-lang/html@0.11.3
 - @syndicate-lang/syndicatec@0.11.3
 - @syndicate-lang/timer@0.11.3
 - @syndicate-lang/ts-plugin@0.11.3
 - @syndicate-lang/tsc@0.11.3
 - @syndicate-lang/ws-relay@0.11.3
2022-01-26 14:44:59 +01:00
Tony Garnock-Jones cdd1c2393d Bump preserves dep 2022-01-26 14:44:35 +01:00
Tony Garnock-Jones c3dfd42a58 Bump copyright years 2022-01-26 14:38:38 +01:00
Tony Garnock-Jones 6d58bcabe4 Publish
- @syndicate-lang/compiler@0.11.1
 - @syndicate-lang/core@0.11.1
 - @syndicate-lang/html@0.11.1
 - @syndicate-lang/syndicatec@0.11.1
 - @syndicate-lang/timer@0.11.1
 - @syndicate-lang/ts-plugin@0.11.1
 - @syndicate-lang/tsc@0.11.1
 - @syndicate-lang/ws-relay@0.11.1
2022-01-24 14:16:58 +01:00
Tony Garnock-Jones 5560ce5aa1 Upgrade Preserves, allowing automatic conversion to Preserves values in many cases 2022-01-24 14:13:46 +01:00
Tony Garnock-Jones ff75fc7107 Expose trace schema (!) 2022-01-24 09:09:25 +01:00
Tony Garnock-Jones faca72d6b3 Take advantage of new static info propagated by schema compiler 2022-01-24 09:08:56 +01:00
Tony Garnock-Jones 83cc561cce Turn.every 2022-01-20 20:48:30 +01:00
Tony Garnock-Jones c20cab0bba Publish
- @syndicate-lang/core@0.11.0
 - @syndicate-lang/html@0.11.0
 - @syndicate-lang/syndicatec@0.11.0
 - @syndicate-lang/timer@0.11.0
 - @syndicate-lang/ts-plugin@0.11.0
 - @syndicate-lang/tsc@0.11.0
 - @syndicate-lang/ws-relay@0.11.0
2022-01-20 15:28:41 +01:00
Tony Garnock-Jones 26eba6b492 Merge latest changes from the syndicate-protocols repository 2022-01-20 15:23:46 +01:00
Tony Garnock-Jones 0291c43730 Merge latest changes from the syndicate-protocols repository 2022-01-17 00:23:18 +01:00
Tony Garnock-Jones 66ee5b7427 Merge latest changes from the syndicate-protocols repository 2022-01-17 00:20:45 +01:00
Tony Garnock-Jones d9e5d8d29c Publish
- @syndicate-lang/core@0.10.7
 - @syndicate-lang/html@0.10.9
 - @syndicate-lang/syndicatec@0.10.8
 - @syndicate-lang/timer@0.10.8
 - @syndicate-lang/ts-plugin@0.10.8
 - @syndicate-lang/tsc@0.10.8
 - @syndicate-lang/ws-relay@0.10.4
2022-01-16 15:23:54 +01:00
Tony Garnock-Jones f8b06ff02a Repair behaviour of (during $x => assert x). 2022-01-16 15:11:01 +01:00
Tony Garnock-Jones 419adba79b Publish
- @syndicate-lang/core@0.10.6
 - @syndicate-lang/html@0.10.7
 - @syndicate-lang/syndicatec@0.10.7
 - @syndicate-lang/timer@0.10.7
 - @syndicate-lang/ts-plugin@0.10.7
 - @syndicate-lang/tsc@0.10.7
 - @syndicate-lang/ws-relay@0.10.3
2022-01-12 10:51:57 +01:00
Tony Garnock-Jones 08197626a6 Simplify. Why didn't I do it like this before? 2022-01-08 13:38:10 +01:00
Tony Garnock-Jones 3823d3172c Publish
- @syndicate-lang/core@0.10.5
 - @syndicate-lang/html@0.10.6
 - @syndicate-lang/syndicatec@0.10.6
 - @syndicate-lang/timer@0.10.6
 - @syndicate-lang/ts-plugin@0.10.6
 - @syndicate-lang/tsc@0.10.6
 - @syndicate-lang/ws-relay@0.10.2
2021-12-24 20:58:04 -05:00
Tony Garnock-Jones ed8adae3f2 Experiment: run facet teardown in the current turn, immediately, instead of delayed 2021-12-24 17:29:26 -05:00
Tony Garnock-Jones a11b755528 Publish
- @syndicate-lang/core@0.10.4
 - @syndicate-lang/html@0.10.5
 - @syndicate-lang/syndicatec@0.10.5
 - @syndicate-lang/timer@0.10.5
 - @syndicate-lang/ts-plugin@0.10.5
 - @syndicate-lang/tsc@0.10.5
 - @syndicate-lang/ws-relay@0.10.1
2021-12-13 20:23:10 +01:00
Tony Garnock-Jones 90a6e2f41a Adapt to syndicate-protocols changes 2021-12-13 20:20:31 +01:00
Tony Garnock-Jones d737b96465 Merge latest changes from the syndicate-protocols repository 2021-12-13 16:00:35 +01:00
Tony Garnock-Jones a3de480748 Publish
- @syndicate-lang/compiler@0.10.3
 - @syndicate-lang/core@0.10.3
 - @syndicate-lang/html@0.10.4
 - @syndicate-lang/syndicatec@0.10.4
 - @syndicate-lang/timer@0.10.4
 - @syndicate-lang/ts-plugin@0.10.4
 - @syndicate-lang/tsc@0.10.4
 - @syndicate-lang/ws-relay@0.10.0
2021-12-13 13:40:42 +01:00
Tony Garnock-Jones 85f123c777 New preserves-schema-ts invocation style 2021-12-13 13:38:46 +01:00
Tony Garnock-Jones 49283cb4ca Fix repository URLs. 2021-12-13 13:38:28 +01:00
Tony Garnock-Jones 4d42968cd6 Repair an error and a couple of infelicities in quasivalue.ts 2021-12-13 12:20:51 +01:00
Tony Garnock-Jones fca27dda30 Publish
- @syndicate-lang/core@0.10.2
 - @syndicate-lang/html@0.10.3
 - @syndicate-lang/syndicatec@0.10.3
 - @syndicate-lang/timer@0.10.3
 - @syndicate-lang/ts-plugin@0.10.3
 - @syndicate-lang/tsc@0.10.3
2021-12-13 00:00:24 +01:00
Tony Garnock-Jones 11fc55ee7d Use newer preserves versions 2021-12-12 23:58:06 +01:00
Tony Garnock-Jones f24dfb53d5 No need to spawn a relay 2021-12-12 23:54:35 +01:00
Tony Garnock-Jones a9a3a8a66d Bring quasipattern syntax into line with constructor syntax for unary records 2021-12-12 23:54:22 +01:00
Tony Garnock-Jones 2940b80563 Supervision 2021-12-12 23:03:22 +01:00
Tony Garnock-Jones 04bbcd25ab Turn.after 2021-12-12 23:02:58 +01:00
Tony Garnock-Jones 33ac308564 Allow access to new Actor handle on spawn (is this safe?) 2021-12-12 23:02:51 +01:00
Tony Garnock-Jones 951598b7d0 Commit to having onStop shutdownActions run in parent facet context 2021-12-12 23:02:25 +01:00
Tony Garnock-Jones 364c97f357 Repair error in halfLink accounting during facet termination 2021-12-12 23:01:53 +01:00
Tony Garnock-Jones 414b971cee Publish
- @syndicate-lang/compiler@0.10.2
 - @syndicate-lang/core@0.10.1
 - @syndicate-lang/html@0.10.2
 - @syndicate-lang/syndicatec@0.10.2
 - @syndicate-lang/timer@0.10.2
 - @syndicate-lang/ts-plugin@0.10.2
 - @syndicate-lang/tsc@0.10.2
2021-12-11 19:42:50 +01:00
Tony Garnock-Jones a0dc76e4e2 Fix copyright headers 2021-12-11 17:23:48 +01:00
Tony Garnock-Jones 89d340cfc8 Publish
- @syndicate-lang/compiler@0.10.0
 - @syndicate-lang/core@0.10.0
 - @syndicate-lang/html@0.10.0
 - @syndicate-lang/syndicatec@0.10.0
 - @syndicate-lang/timer@0.10.0
 - @syndicate-lang/ts-plugin@0.10.0
 - @syndicate-lang/tsc@0.10.0
2021-12-11 17:03:07 +01:00
Tony Garnock-Jones c9272ddcc9 Repair typo 2021-12-11 16:49:24 +01:00
Tony Garnock-Jones 8888ac3fe9 Dataflow blocks should contribute to facet liveness I guess, since they aren't removable 2021-12-11 15:43:56 +01:00
Tony Garnock-Jones f540b41d73 Optional tracing/dumping for Dataspace 2021-12-11 15:43:32 +01:00
Tony Garnock-Jones 97cfb19852 Move stop continuation *before* a stopping facet's assertions are retracted.
This is a kind of ad-hocish response to an interesting problem. In
previous Syndicates, assertion changes were gathered into *patches*
which *netted out* intra-turn changes. In this implementation, each
change is relayed unchanged, so there is *no netting* going on. The
closest we get is a convention that when things are being replaced,
incoming assertions should be made before outgoing ones are retracted,
so that the kind of glitch that's seen is a double-up of records,
rather than a brief window where no records are present.

So here, by moving the stop continuation into an onStop for the
stopping facet (that nonetheless *executes* in that facet's parent's
context), we allow the following pattern to run without problem
glitching:

    react {
      assert Something(1);
      stop on asserted Condition() => react {
        assert Something(2);
      }
    }

Observers like this...

    during Something(_) => { // **A**
      ...
      during Something($specific) => { // **B**
      }
    }

will see

    + Something(1)
    + Something(2)
    - Something(1)

rather than what they saw before this change,

    + Something(1)
    - Something(1)
    + Something(2)

The consequence is that the line marked **A** above will *remain
active* after this change, with the facet at **B** being replaced,
rather than briefly tearing down the **A** facet when `- Something(1)`
and then creating a fresh one when `+ Something(2)`.

This came up in flappy bird, where I had

    react {
        at mainDs {
            assert ui.html('#board-area', template`<h1 class="score">${score.value}</h1>`);
        }
        at gameDs {
            stop on asserted GameOver() => react {
                at mainDs {
                    assert ui.html(
                        '#board-area',
                        template`<h1 class="score">${score.value}<br/>GAME OVER</h1>`);
                }
            }
        }
    }

which, in combination with the particular implementation of index.ts
in the html package, caused the UIFragment responder to get confused
and to not show the GAME OVER message - the previous score message was
removed, but the new one wasn't manifested in the DOM. Changing the
last `ui.html` above to `ui.context('foo').html` caused the problem to
go away (by making it effectively two unrelated fragments, rather than
a replacement of the content of a single fragment).
2021-12-11 14:04:31 +01:00
Tony Garnock-Jones df7f1c3dd7 Publish
- @syndicate-lang/compiler@0.9.1
 - @syndicate-lang/core@0.9.1
 - @syndicate-lang/html@0.9.1
 - @syndicate-lang/syndicatec@0.9.1
 - @syndicate-lang/timer@0.9.1
 - @syndicate-lang/ts-plugin@0.9.1
 - @syndicate-lang/tsc@0.9.1
2021-12-10 14:03:11 +01:00
Tony Garnock-Jones 1a365f42be Put licences in the place that lerna expects them (?) 2021-12-10 14:02:58 +01:00
Tony Garnock-Jones 3f0bfadc2b Publish
- @syndicate-lang/compiler@0.9.0
 - @syndicate-lang/core@0.9.0
 - @syndicate-lang/html@0.9.0
 - @syndicate-lang/syndicatec@0.9.0
 - @syndicate-lang/timer@0.9.0
 - @syndicate-lang/ts-plugin@0.9.0
 - @syndicate-lang/tsc@0.9.0
2021-12-10 13:35:30 +01:00
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 6d7dbaf3b3 Bump to get encoder bugfix 2021-12-09 22:12:14 +01:00
Tony Garnock-Jones 1c1decdb7d Repair type error for dataflow assertions 2021-12-09 22:12:02 +01:00