ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-09-21 07:28:30 +03:00
Code Issues Packages Projects Releases Wiki Activity

hoon: refactors +stir types/comments for clarity

Browse Source
This commit is contained in:
Joe Bryan 2020-09-08 00:26:41 -07:00
parent d89210cceb
commit 74d5d5df24
1 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkg/arvo/sys/hoon.hoon
View File

@ -5514,27 +5514,25 @@
|= tub=nail
^- (like _rud)
::
:: lef: successful interim parse results per .fel
:: wag: initial accumulator
:: lef: successful interim parse results (per .fel)
:: wag: initial accumulator (.rud in .tub at farthest success)
::
=+ ^= [lef wag]
=| lef=(list _(fel tub))
=| wag=[p=hair q=[~ u=[p=_rud q=nail]]]
|- ^+ [lef wag]
|- ^- [_lef (pair hair [~ u=(pair _rud nail)])]
=+ vex=(fel tub)
?~ q.vex
=. wag [p.vex [~ rud tub]]
[lef wag]
:- lef
[p.vex [~ rud tub]]
$(lef [vex lef], tub q.u.q.vex)
::
:: fold .lef into .wag, combining results with .raq
::
%+ roll lef
|= [vex=_(fel tub) wag=_wag]
|= _[vex=(fel tub) wag=wag] :: q.vex is always (some)
^+ wag
:- (last p.vex p.wag)
?> ?=(^ q.vex)
[~ (raq p.u.q.vex p.u.q.wag) q.u.q.wag]
[~ (raq p.u.+.q.vex p.u.q.wag) q.u.q.wag]
::
++ stun :: parse several times
|* {lig/{@ @} fel/rule}