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

line: refactors +mede

Browse Source
This commit is contained in:
Joe Bryan 2024-07-19 23:29:59 -04:00
parent b7c33e61c0
commit 6b8b626b6c
1 changed files with 15 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
hoon/codegen/lib/line.hoon
View File

@ -924,23 +924,26 @@
|= [u=@uwoo n=* =need]
^- [@uwoo _gen]
=| todo=(list pole)
=/ tack=(list [n=(unit *) =_need]) [`n need]~
=/ tack=(list [n=(unit) =_need]) [`n need]~
|- ^- [@uwoo _gen]
?~ tack
(emit ~ todo %hop u)
?- -.need.i.tack
%none $(tack t.tack)
=* ne need.i.tack
=* no n.i.tack
?- -.ne
%this
?~ n.i.tack
$(todo [[%poi sass.need.i.tack] todo], tack t.tack)
$(todo [[%imm u.n.i.tack sass.need.i.tack] todo], tack t.tack)
::
=/ =pole ?~(no [%poi sass.ne] [%imm u.no sass.ne])
$(todo [pole todo], tack t.tack)
::
%both
?~ n.i.tack
$(tack [[~ rite.need.i.tack] [~ left.need.i.tack] t.tack])
?@ u.n.i.tack
$(tack [[~ rite.need.i.tack] [~ left.need.i.tack] t.tack])
$(tack [[`+.u.n.i.tack rite.need.i.tack] [`-.u.n.i.tack left.need.i.tack] t.tack])
%= $
tack
?: ?=(?(~ [~ @]) no)
[[~ rite.ne] [~ left.ne] t.tack]
[[`+.u.no rite.ne] [`-.u.no left.ne] t.tack]
==
::
%none $(tack t.tack)
==
--
:: +sill: list of registers from a need