urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-11-23 00:25:49 +03:00
Code Issues Packages Projects Releases Wiki Activity

hoon: remove sham hints for missing jets

Browse Source
This commit is contained in:
Alex Shelkovnykov 2023-09-04 15:32:40 -06:00
parent 49935059b7
commit 33d781beb9
4 changed files with 0 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
hoon/scaffolding/azimuth-pill.hoon
View File

@ -235,7 +235,6 @@
++ swp :: naive rev bloq order ++ swp :: naive rev bloq order
~/ %swp ~/ %swp
|= [a=bloq b=@] |= [a=bloq b=@]
~> %sham.%swp
(rep a (flop (rip a b))) (rep a (flop (rip a b)))
:: ::
++ met :: measure ++ met :: measure
@ -311,7 +310,6 @@
++ lent :: length ++ lent :: length
~/ %lent ~/ %lent
|= a=(list) |= a=(list)
~> %sham.%lent
^- @ ^- @
=+ b=0 =+ b=0
|- |-
@ -321,7 +319,6 @@
++ slag :: suffix ++ slag :: suffix
~/ %slag ~/ %slag
|* [a=@ b=(list)] |* [a=@ b=(list)]
~> %sham.%slag
|- ^+ b |- ^+ b
?: =(0 a) b ?: =(0 a) b
?~ b ~ ?~ b ~
@ -330,7 +327,6 @@
++ snag :: index ++ snag :: index
~/ %snag ~/ %snag
|* [a=@ b=(list)] |* [a=@ b=(list)]
~> %sham.%snag
|- ^+ ?>(?=(^ b) i.b) |- ^+ ?>(?=(^ b) i.b)
?~ b ?~ b
~_ leaf+"snag-fail" ~_ leaf+"snag-fail"
@ -348,7 +344,6 @@
++ flop :: reverse ++ flop :: reverse
~/ %flop ~/ %flop
|* a=(list) |* a=(list)
~> %sham.%flop
=> .(a (homo a)) => .(a (homo a))
^+ a ^+ a
=+ b=`_a`~ =+ b=`_a`~
@ -359,7 +354,6 @@
++ welp :: concatenate ++ welp :: concatenate
~/ %welp ~/ %welp
=| [* *] =| [* *]
~> %sham.%welp
|@ |@
++ $ ++ $
?~ +<- ?~ +<-
@ -370,7 +364,6 @@
++ reap :: replicate ++ reap :: replicate
~/ %reap ~/ %reap
|* [a=@ b=*] |* [a=@ b=*]
~> %sham.%reap
|- ^- (list _b) |- ^- (list _b)
?~ a ~ ?~ a ~
[b $(a (dec a))] [b $(a (dec a))]

7
hoon/scaffolding/cradle.hoon
View File

@ -209,7 +209,6 @@
++ swp :: naive rev bloq order ++ swp :: naive rev bloq order
~/ %swp ~/ %swp
|= [a=bloq b=@] |= [a=bloq b=@]
~> %sham.%swp
(rep a (flop (rip a b))) (rep a (flop (rip a b)))
:: ::
++ met :: measure ++ met :: measure
@ -285,7 +284,6 @@
++ lent :: length ++ lent :: length
~/ %lent ~/ %lent
|= a=(list) |= a=(list)
~> %sham.%lent
^- @ ^- @
=+ b=0 =+ b=0
|- |-
@ -295,7 +293,6 @@
++ slag :: suffix ++ slag :: suffix
~/ %slag ~/ %slag
|* [a=@ b=(list)] |* [a=@ b=(list)]
~> %sham.%slag
|- ^+ b |- ^+ b
?: =(0 a) b ?: =(0 a) b
?~ b ~ ?~ b ~
@ -304,7 +301,6 @@
++ snag :: index ++ snag :: index
~/ %snag ~/ %snag
|* [a=@ b=(list)] |* [a=@ b=(list)]
~> %sham.%snag
|- ^+ ?>(?=(^ b) i.b) |- ^+ ?>(?=(^ b) i.b)
?~ b ?~ b
~_ leaf+"snag-fail" ~_ leaf+"snag-fail"
@ -322,7 +318,6 @@
++ flop :: reverse ++ flop :: reverse
~/ %flop ~/ %flop
|* a=(list) |* a=(list)
~> %sham.%flop
=> .(a (homo a)) => .(a (homo a))
^+ a ^+ a
=+ b=`_a`~ =+ b=`_a`~
@ -333,7 +328,6 @@
++ welp :: concatenate ++ welp :: concatenate
~/ %welp ~/ %welp
=| [* *] =| [* *]
~> %sham.%welp
|@ |@
++ $ ++ $
?~ +<- ?~ +<-
@ -344,7 +338,6 @@
++ reap :: replicate ++ reap :: replicate
~/ %reap ~/ %reap
|* [a=@ b=*] |* [a=@ b=*]
~> %sham.%reap
|- ^- (list _b) |- ^- (list _b)
?~ a ~ ?~ a ~
[b $(a (dec a))] [b $(a (dec a))]

7
hoon/scaffolding/naive-cradle.hoon
View File

@ -212,7 +212,6 @@
++ swp :: naive rev bloq order ++ swp :: naive rev bloq order
~/ %swp ~/ %swp
|= [a=bloq b=@] |= [a=bloq b=@]
~> %sham.%swp
(rep a (flop (rip a b))) (rep a (flop (rip a b)))
:: ::
++ met :: measure ++ met :: measure
@ -288,7 +287,6 @@
++ lent :: length ++ lent :: length
~/ %lent ~/ %lent
|= a=(list) |= a=(list)
~> %sham.%lent
^- @ ^- @
=+ b=0 =+ b=0
|- |-
@ -298,7 +296,6 @@
++ slag :: suffix ++ slag :: suffix
~/ %slag ~/ %slag
|* [a=@ b=(list)] |* [a=@ b=(list)]
~> %sham.%slag
|- ^+ b |- ^+ b
?: =(0 a) b ?: =(0 a) b
?~ b ~ ?~ b ~
@ -307,7 +304,6 @@
++ snag :: index ++ snag :: index
~/ %snag ~/ %snag
|* [a=@ b=(list)] |* [a=@ b=(list)]
~> %sham.%snag
|- ^+ ?>(?=(^ b) i.b) |- ^+ ?>(?=(^ b) i.b)
?~ b ?~ b
~_ leaf+"snag-fail" ~_ leaf+"snag-fail"
@ -325,7 +321,6 @@
++ flop :: reverse ++ flop :: reverse
~/ %flop ~/ %flop
|* a=(list) |* a=(list)
~> %sham.%flop
=> .(a (homo a)) => .(a (homo a))
^+ a ^+ a
=+ b=`_a`~ =+ b=`_a`~
@ -336,7 +331,6 @@
++ welp :: concatenate ++ welp :: concatenate
~/ %welp ~/ %welp
=| [* *] =| [* *]
~> %sham.%welp
|@ |@
++ $ ++ $
?~ +<- ?~ +<-
@ -347,7 +341,6 @@
++ reap :: replicate ++ reap :: replicate
~/ %reap ~/ %reap
|* [a=@ b=*] |* [a=@ b=*]
~> %sham.%reap
|- ^- (list _b) |- ^- (list _b)
?~ a ~ ?~ a ~
[b $(a (dec a))] [b $(a (dec a))]

7
hoon/scaffolding/playpen.hoon
View File

@ -163,7 +163,6 @@
++ flop :: reverse ++ flop :: reverse
~/ %flop ~/ %flop
|* a=(list) |* a=(list)
~> %sham.%flop
=> .(a (homo a)) => .(a (homo a))
^+ a ^+ a
=+ b=`_a`~ =+ b=`_a`~
@ -174,7 +173,6 @@
++ lent :: length ++ lent :: length
~/ %lent ~/ %lent
|= a=(list) |= a=(list)
~> %sham.%lent
^- @ ^- @
=+ b=0 =+ b=0
|- |-
@ -184,7 +182,6 @@
++ reap :: replicate ++ reap :: replicate
~/ %reap ~/ %reap
|* [a=@ b=*] |* [a=@ b=*]
~> %sham.%reap
|- ^- (list _b) |- ^- (list _b)
?~ a ~ ?~ a ~
[b $(a (dec a))] [b $(a (dec a))]
@ -192,7 +189,6 @@
++ slag :: suffix ++ slag :: suffix
~/ %slag ~/ %slag
|* [a=@ b=(list)] |* [a=@ b=(list)]
~> %sham.%slag
|- ^+ b |- ^+ b
?: =(0 a) b ?: =(0 a) b
?~ b ~ ?~ b ~
@ -201,7 +197,6 @@
++ snag :: index ++ snag :: index
~/ %snag ~/ %snag
|* [a=@ b=(list)] |* [a=@ b=(list)]
~> %sham.%snag
|- ^+ ?>(?=(^ b) i.b) |- ^+ ?>(?=(^ b) i.b)
?~ b ?~ b
~_ leaf+"snag-fail" ~_ leaf+"snag-fail"
@ -212,7 +207,6 @@
++ welp :: concatenate ++ welp :: concatenate
~/ %welp ~/ %welp
=| [* *] =| [* *]
~> %sham.%welp
|@ |@
++ $ ++ $
?~ +<- ?~ +<-
@ -320,7 +314,6 @@
++ swp :: naive rev bloq order ++ swp :: naive rev bloq order
~/ %swp ~/ %swp
|= [a=bloq b=@] |= [a=bloq b=@]
~> %sham.%swp
(rep a (flop (rip a b))) (rep a (flop (rip a b)))
:: ::
:: Modular arithmetic :: Modular arithmetic