From e020d06cd499a1ff12d9f0091a8a76f92eb73369 Mon Sep 17 00:00:00 2001 From: Edward Amsden Date: Tue, 16 May 2023 18:51:07 -0500 Subject: [PATCH] hoon: address review comments for pin and awl --- pkg/arvo/sys/hoon.hoon | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon index c28db59392..89df6ebb41 100644 --- a/pkg/arvo/sys/hoon.hoon +++ b/pkg/arvo/sys/hoon.hoon @@ -236,12 +236,13 @@ ?< =(0 b) |- ^- ? ?: =(a 1) %& - ?: =((cap a) (cap b)) - $(a (mas a), b (mas b)) - %| + ?. =((cap a) (cap b)) %| + $(a (mas a), b (mas b)) +:: ++ awl ~/ %awl :: axis after axis + :: :: computes the remainder of axis {b} when navigating to {a}. :: (crashes if not `(pin a b)`) |= [a=@ b=@] @@ -249,9 +250,8 @@ ?< =(0 b) |- ^- @ ?: =(a 1) b - ?: =((cap a) (cap b)) - $(a (mas a), b (mas b)) - !! + ?> =((cap a) (cap b)) + $(a (mas a), b (mas b)) :: :: # %containers ::