From f2495aafdcefc1538f6a084d52a6fd9215bc3c99 Mon Sep 17 00:00:00 2001 From: Joe Bryan Date: Fri, 6 Oct 2023 12:31:22 -0400 Subject: [PATCH] Revert "hoon: add pin and awl arms to test and trim subaxes" --- pkg/arvo/sys/hoon.hoon | 28 ---------------------------- 1 file changed, 28 deletions(-) diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon index bc59247f02..d3cc88e8fb 100644 --- a/pkg/arvo/sys/hoon.hoon +++ b/pkg/arvo/sys/hoon.hoon @@ -226,34 +226,6 @@ * (add (mod b 2) (mul $(b (div b 2)) 2)) == :: -++ pin - ~/ %pin - :: sub axis test - :: - :: checks whether {b} addresses a subtree of the tree addressed by {a}. - |= [a=@ b=@] - ?< =(0 a) - ?< =(0 b) - |- ^- ? - ?: =(a 1) & - ?: =(b 1) | - ?. =((cap a) (cap b)) | - $(a (mas a), b (mas b)) -:: -++ hub - ~/ %hub - :: axis after axis - :: - :: computes the remainder of axis {b} when navigating to {a}. - :: (crashes if not `(pin a b)`) - |= [a=@ b=@] - ?< =(0 a) - ?< =(0 b) - |- ^- @ - ?: =(a 1) b - ?> =((cap a) (cap b)) - $(a (mas a), b (mas b)) -:: :: # %containers :: :: the most basic of data types