From 33d781beb98fb9ee6dab88207976e7db68954e8c Mon Sep 17 00:00:00 2001 From: Alex Shelkovnykov Date: Mon, 4 Sep 2023 15:32:40 -0600 Subject: [PATCH] hoon: remove sham hints for missing jets --- hoon/scaffolding/azimuth-pill.hoon | 7 ------- hoon/scaffolding/cradle.hoon | 7 ------- hoon/scaffolding/naive-cradle.hoon | 7 ------- hoon/scaffolding/playpen.hoon | 7 ------- 4 files changed, 28 deletions(-) diff --git a/hoon/scaffolding/azimuth-pill.hoon b/hoon/scaffolding/azimuth-pill.hoon index 9f3c70d..95260c7 100644 --- a/hoon/scaffolding/azimuth-pill.hoon +++ b/hoon/scaffolding/azimuth-pill.hoon @@ -235,7 +235,6 @@ ++ swp :: naive rev bloq order ~/ %swp |= [a=bloq b=@] - ~> %sham.%swp (rep a (flop (rip a b))) :: ++ met :: measure @@ -311,7 +310,6 @@ ++ lent :: length ~/ %lent |= a=(list) - ~> %sham.%lent ^- @ =+ b=0 |- @@ -321,7 +319,6 @@ ++ slag :: suffix ~/ %slag |* [a=@ b=(list)] - ~> %sham.%slag |- ^+ b ?: =(0 a) b ?~ b ~ @@ -330,7 +327,6 @@ ++ snag :: index ~/ %snag |* [a=@ b=(list)] - ~> %sham.%snag |- ^+ ?>(?=(^ b) i.b) ?~ b ~_ leaf+"snag-fail" @@ -348,7 +344,6 @@ ++ flop :: reverse ~/ %flop |* a=(list) - ~> %sham.%flop => .(a (homo a)) ^+ a =+ b=`_a`~ @@ -359,7 +354,6 @@ ++ welp :: concatenate ~/ %welp =| [* *] - ~> %sham.%welp |@ ++ $ ?~ +<- @@ -370,7 +364,6 @@ ++ reap :: replicate ~/ %reap |* [a=@ b=*] - ~> %sham.%reap |- ^- (list _b) ?~ a ~ [b $(a (dec a))] diff --git a/hoon/scaffolding/cradle.hoon b/hoon/scaffolding/cradle.hoon index e0de51c..7223d67 100644 --- a/hoon/scaffolding/cradle.hoon +++ b/hoon/scaffolding/cradle.hoon @@ -209,7 +209,6 @@ ++ swp :: naive rev bloq order ~/ %swp |= [a=bloq b=@] - ~> %sham.%swp (rep a (flop (rip a b))) :: ++ met :: measure @@ -285,7 +284,6 @@ ++ lent :: length ~/ %lent |= a=(list) - ~> %sham.%lent ^- @ =+ b=0 |- @@ -295,7 +293,6 @@ ++ slag :: suffix ~/ %slag |* [a=@ b=(list)] - ~> %sham.%slag |- ^+ b ?: =(0 a) b ?~ b ~ @@ -304,7 +301,6 @@ ++ snag :: index ~/ %snag |* [a=@ b=(list)] - ~> %sham.%snag |- ^+ ?>(?=(^ b) i.b) ?~ b ~_ leaf+"snag-fail" @@ -322,7 +318,6 @@ ++ flop :: reverse ~/ %flop |* a=(list) - ~> %sham.%flop => .(a (homo a)) ^+ a =+ b=`_a`~ @@ -333,7 +328,6 @@ ++ welp :: concatenate ~/ %welp =| [* *] - ~> %sham.%welp |@ ++ $ ?~ +<- @@ -344,7 +338,6 @@ ++ reap :: replicate ~/ %reap |* [a=@ b=*] - ~> %sham.%reap |- ^- (list _b) ?~ a ~ [b $(a (dec a))] diff --git a/hoon/scaffolding/naive-cradle.hoon b/hoon/scaffolding/naive-cradle.hoon index ac8ddae..56d46f2 100644 --- a/hoon/scaffolding/naive-cradle.hoon +++ b/hoon/scaffolding/naive-cradle.hoon @@ -212,7 +212,6 @@ ++ swp :: naive rev bloq order ~/ %swp |= [a=bloq b=@] - ~> %sham.%swp (rep a (flop (rip a b))) :: ++ met :: measure @@ -288,7 +287,6 @@ ++ lent :: length ~/ %lent |= a=(list) - ~> %sham.%lent ^- @ =+ b=0 |- @@ -298,7 +296,6 @@ ++ slag :: suffix ~/ %slag |* [a=@ b=(list)] - ~> %sham.%slag |- ^+ b ?: =(0 a) b ?~ b ~ @@ -307,7 +304,6 @@ ++ snag :: index ~/ %snag |* [a=@ b=(list)] - ~> %sham.%snag |- ^+ ?>(?=(^ b) i.b) ?~ b ~_ leaf+"snag-fail" @@ -325,7 +321,6 @@ ++ flop :: reverse ~/ %flop |* a=(list) - ~> %sham.%flop => .(a (homo a)) ^+ a =+ b=`_a`~ @@ -336,7 +331,6 @@ ++ welp :: concatenate ~/ %welp =| [* *] - ~> %sham.%welp |@ ++ $ ?~ +<- @@ -347,7 +341,6 @@ ++ reap :: replicate ~/ %reap |* [a=@ b=*] - ~> %sham.%reap |- ^- (list _b) ?~ a ~ [b $(a (dec a))] diff --git a/hoon/scaffolding/playpen.hoon b/hoon/scaffolding/playpen.hoon index e2e8e1e..b712fec 100644 --- a/hoon/scaffolding/playpen.hoon +++ b/hoon/scaffolding/playpen.hoon @@ -163,7 +163,6 @@ ++ flop :: reverse ~/ %flop |* a=(list) - ~> %sham.%flop => .(a (homo a)) ^+ a =+ b=`_a`~ @@ -174,7 +173,6 @@ ++ lent :: length ~/ %lent |= a=(list) - ~> %sham.%lent ^- @ =+ b=0 |- @@ -184,7 +182,6 @@ ++ reap :: replicate ~/ %reap |* [a=@ b=*] - ~> %sham.%reap |- ^- (list _b) ?~ a ~ [b $(a (dec a))] @@ -192,7 +189,6 @@ ++ slag :: suffix ~/ %slag |* [a=@ b=(list)] - ~> %sham.%slag |- ^+ b ?: =(0 a) b ?~ b ~ @@ -201,7 +197,6 @@ ++ snag :: index ~/ %snag |* [a=@ b=(list)] - ~> %sham.%snag |- ^+ ?>(?=(^ b) i.b) ?~ b ~_ leaf+"snag-fail" @@ -212,7 +207,6 @@ ++ welp :: concatenate ~/ %welp =| [* *] - ~> %sham.%welp |@ ++ $ ?~ +<- @@ -320,7 +314,6 @@ ++ swp :: naive rev bloq order ~/ %swp |= [a=bloq b=@] - ~> %sham.%swp (rep a (flop (rip a b))) :: :: Modular arithmetic