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 %elf

Browse Source
This commit is contained in:
Joe Bryan 2024-07-22 15:43:45 -04:00
parent 6b8b626b6c
commit bae6965531
1 changed files with 13 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -463,26 +463,19 @@
==
::
%elf
?- -.goal
%done
=^ last gen rain
=^ deft gen (emit ~ ~ %don last)
$(goal [%next [%this last] deft])
::
%pick
=^ flip gen rain
=^ heft gen (emit ~ ~ %brn flip [zero once]:goal)
$(goal [%next [%this flip] heft])
::
%next
=^ [weft=@uwoo good=@uvre] gen (kerf goal)
=^ home gen rain
=^ path gen rain
=^ show gen (emit ~ ~ %spy home path good weft)
=^ trot gen $(n walk.n, goal [%next [%this path] show])
=^ paid gen $(n rent.n, goal [%next [%this home] then.trot])
(copy paid what.trot)
==
=> =* dot .
?: ?=(%next -.goal) dot
=^ reg gen rain
=/ sit ?:(?=(%done -.goal) [%don reg] [%brn reg |2.goal])
=^ uwo gen (emit ~ ~ sit)
dot(goal [%next [%this reg] uwo])
=^ [weft=@uwoo good=@uvre] gen (kerf goal)
=^ home gen rain
=^ path gen rain
=^ show gen (emit ~ ~ %spy home path good weft)
=^ trot gen $(n walk.n, goal [%next [%this path] show])
=^ paid gen $(n rent.n, goal [%next [%this home] then.trot])
(copy paid what.trot)
==
::
:: redo callsite registerization