From 75205466fe5fcf714c62774808abf228d5591f6a Mon Sep 17 00:00:00 2001 From: pkova Date: Thu, 15 Oct 2020 16:34:40 +0300 Subject: [PATCH] hoon: fix mis-compilation in wet gate subject access Fixes #3600 --- bin/solid.pill | 4 ++-- pkg/arvo/sys/hoon.hoon | 20 +++++++------------- 2 files changed, 9 insertions(+), 15 deletions(-) diff --git a/bin/solid.pill b/bin/solid.pill index 087bd1211c..cfd81d01ad 100644 --- a/bin/solid.pill +++ b/bin/solid.pill @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:4268cfff119e27f4d755eaf3a6571c1a6a712b29dc9d4a65930cd5dcf6468492 -size 6376654 +oid sha256:42a1cfce064fc42f930bf34fcb53478a186ff880e9c95ca9042a4ee27a8aa25d +size 6286780 diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon index 56651627f3..873ed841b7 100644 --- a/pkg/arvo/sys/hoon.hoon +++ b/pkg/arvo/sys/hoon.hoon @@ -9740,18 +9740,7 @@ ^- (pair type type) (~(mull et hyp rig) gol dox) :: - ++ felt - ~/ %felt - |= lap/opal - ^- type - ?- -.lap - %& p.lap - %| %- fork - %+ turn ~(tap in q.lap) - |= [a=type *] - ?> ?=([%core *] a) - [%core q.q.a q.a] - == + ++ felt !! :: :: ++ feel :: detect existence |= rot/(list wing) @@ -9800,7 +9789,12 @@ == :: %& - =. sut (felt q.p.mor) + =. sut + =* lap q.p.mor + ?- -.lap + %& p.lap + %| (fork (turn ~(tap in q.lap) head)) + == => :_ + :* axe=`axis`1 lon=p.p.mor