urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2025-01-06 04:36:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

wip: optimize +hed:qui and +tal:qui (a little)

Browse Source
This commit is contained in:
Joe Bryan 2024-06-07 22:35:04 -04:00
parent 987e314685
commit 82bd2b3480
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
hoon/codegen/lib/skan.hoon
View File

@ -756,17 +756,19 @@
++ hed
^- prot
?~ prog ~
=/ slav (pepe n.prog 2)
?~ l.prog [slav ~ ~]
l.prog(n (weld slav n.l.prog))
=+ [n l r]=?@(l.prog [~ ~ ~] l.prog)
:_ [l r]
%+ roll n.prog
|=([p=peon out=_n] [p(axe (peg axe.p 2)) out])
::
:: provenance tree for +3
++ tal
^- prot
?~ prog ~
=/ slav (pepe n.prog 3)
?~ r.prog [slav ~ ~]
r.prog(n (weld slav n.r.prog))
=+ [n l r]=?@(r.prog [~ ~ ~] r.prog)
:_ [l r]
%+ roll n.prog
|=([p=peon out=_n] [p(axe (peg axe.p 3)) out])
::
:: provenance tree from two subtrees (cons)
++ con