From a54d18a44062081caccee21a7b16e6e8aa57d2c7 Mon Sep 17 00:00:00 2001 From: pilfer-pandex <47340789+pilfer-pandex@users.noreply.github.com> Date: Wed, 17 Jul 2019 16:37:14 -0700 Subject: [PATCH] fix play jet mismatch (missing tscm, different sand) --- pkg/arvo/sys/hoon.hoon | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon index 3ad7c26b00..dbc85a4124 100644 --- a/pkg/arvo/sys/hoon.hoon +++ b/pkg/arvo/sys/hoon.hoon @@ -10727,11 +10727,11 @@ {$rock *} |- ^- type ?@ q.gen [%atom p.gen `q.gen] [%cell $(q.gen -.q.gen) $(q.gen +.q.gen)] - {$sand *} |- ^- type - ?@ q.gen - ?: =(%n p.gen) ?>(=(0 q.gen) [%atom p.gen ~ q.gen]) - ?:(=(%f p.gen) ?>((lte q.gen 1) bool) [%atom p.gen ~]) - [%cell $(q.gen -.q.gen) $(q.gen +.q.gen)] + {$sand *} ?@ q.gen + ?: =(%n p.gen) ?>(=(0 q.gen) [%atom p.gen `q.gen]) + ?: =(%f p.gen) ?>((lte q.gen 1) bool) + [%atom p.gen ~] + $(-.gen %rock) {$tune *} (face p.gen sut) {$dttr *} %noun {$dtts *} bool @@ -10746,6 +10746,7 @@ {$sgzp *} ~_(duck(sut ^$(gen p.gen)) $(gen q.gen)) {$sgbn *} $(gen q.gen) {$tsbn *} $(gen q.gen, sut $(gen p.gen)) + {$tscm *} $(gen q.gen, sut (busk p.gen)) {$wtcl *} =+ [fex=(gain p.gen) wux=(lose p.gen)] %- fork :~ ?:(=(%void fex) %void $(sut fex, gen q.gen)) @@ -10754,7 +10755,7 @@ {$fits *} bool {$wthx *} bool {$dbug *} ~_((show %o p.gen) $(gen q.gen)) - {$zpcm *} (play p.gen) + {$zpcm *} $(gen p.gen) {$lost *} %void {$zpmc *} (cell $(gen p.gen) $(gen q.gen)) {$zpts *} %noun