diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon index 43fee2f55c..05901618d5 100644 --- a/pkg/arvo/sys/hoon.hoon +++ b/pkg/arvo/sys/hoon.hoon @@ -6245,14 +6245,14 @@ ++ mure |= tap=(trap) ^- (unit) - =/ ton (mink [tap %9 2 %0 1] |=((pair) ``.*(~ [%12 1+p 1+q]))) + =/ ton (mink [tap %9 2 %0 1] |=(a=^ ``.*(a [%12 [%0 2] %0 3]))) ?.(?=(%0 -.ton) ~ `product.ton) :: +mute: untyped virtual :: ++ mute |= tap=(trap) ^- (each * (list tank)) - =/ ton (mock [tap %9 2 %0 1] |=((pair) ``.*(~ [%12 1+p 1+q]))) + =/ ton (mock [tap %9 2 %0 1] |=(a=^ ``.*(a [%12 [%0 2] %0 3]))) ?- -.ton %0 [%& p.ton] :: @@ -6265,9 +6265,8 @@ :: ++ slum ~/ %slum - |= [gat=* sam=*] - ^- * - .*(gat [%9 2 %10 [6 %1 sam] %0 1]) + |= sub=[gat=* sam=*] + .*(sub [%9 2 %10 [6 %0 3] %0 2]) :: +soft: virtual clam :: ++ soft