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 dynamic hints

Browse Source
This commit is contained in:
Joe Bryan 2024-07-22 16:09:20 -04:00
parent bae6965531
commit d9dbd54f94
1 changed files with 34 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -415,49 +415,46 @@
?(%live %slog)
=^ clue gen rain
=^ real gen $(n then.n)
=^ wave gen
?: ?=(%live hint.n)
(emit ~ [%hit clue]~ %hop then.real)
(emit ~ [%slg clue]~ %hop then.real)
=/ pol ?:(?=(%live hint.n) [%hit clue] [%slg clue])
=^ wave gen (emit ~ [pol]~ %hop then.real)
=^ fake gen $(n vice.n, goal [%next [%this clue] wave])
(copy fake what.real)
::
%memo
=/ fork (~(got by fizz.norm.u.h) hare.n)
=> =* dot .
?. ?=(%done -.goal) dot
=^ salt gen rain
=^ mode gen (emit ~ ~ %don salt)
dot(goal [%next [%this salt] mode])
=^ funk gen rain
=^ sunk gen rain
=^ gunk gen rain
=/ body=(list pole) ~[[%imm 0 gunk] [%imm fork funk]]
?- -.goal
%done
=^ salt gen rain
=^ mode gen (emit ~ ~ %don salt)
$(goal [%next [%this salt] mode])
::
%pick
=^ mere gen rain
=^ chit gen (emit ~ ~ %brn mere zero.goal once.goal)
=^ loot gen rain
=^ root gen rain
=^ loam gen (emit ~ ~[[%imm 0 loot] [%mew gunk sunk funk loot]] %hop zero.goal)
=^ rome gen (emit ~ ~[[%imm 1 root] [%mew gunk sunk funk root]] %hop once.goal)
=^ moog gen $(n then.n, zero.goal loam, once.goal rome)
=^ cast gen (emit ~ body %mer gunk sunk funk mere chit then.moog)
=^ fake gen $(n vice.n, goal [%next [%none ~] cast])
=^ fear gen (copy fake what.moog)
(copy fear [%this sunk])
::
%next
=^ [chit=next miss=next] gen (phil goal)
=^ [chin=@uwoo mere=@uvre] gen (kerf chit)
=^ [misc=@uwoo salt=@uvre] gen (kerf miss)
=^ meow gen (emit ~ [%mew gunk sunk funk salt]~ %hop misc)
=^ real gen $(n then.n, goal [%next [%this salt] meow])
=^ cake gen (emit ~ body %mer gunk sunk funk mere chin misc)
=^ fake gen $(n vice.n, goal [%next [%none ~] cake])
=^ cope gen (copy fake what.real)
(copy cope [%this sunk])
==
=^ sunk gen rain
=^ [ned=need =site] gen
?- -.goal
%pick
=^ mere gen rain
=^ chit gen (emit ~ ~ %brn mere zero.goal once.goal)
=^ loot gen rain
=^ root gen rain
=^ loam gen (emit ~ ~[[%imm 0 loot] [%mew gunk sunk funk loot]] %hop zero.goal)
=^ rome gen (emit ~ ~[[%imm 1 root] [%mew gunk sunk funk root]] %hop once.goal)
=^ moog gen $(n then.n, zero.goal loam, once.goal rome)
[[what.moog [%mer gunk sunk funk mere chit then.moog]] gen]
::
%next
=^ [chit=next miss=next] gen (phil goal)
=^ [chin=@uwoo mere=@uvre] gen (kerf chit)
=^ [misc=@uwoo salt=@uvre] gen (kerf miss)
=^ meow gen (emit ~ [%mew gunk sunk funk salt]~ %hop misc)
=^ real gen $(n then.n, goal [%next [%this salt] meow])
[[what.real [%mer gunk sunk funk mere chin misc]] gen]
==
=/ body=(list pole)
~[[%imm 0 gunk] [%imm (~(got by fizz.norm.u.h) hare.n) funk]]
=^ cake gen (emit ~ body site)
=^ fake gen $(n vice.n, goal [%next [%none ~] cake])
=^ cope gen (copy fake ned)
(copy cope [%this sunk])
::
%bout ~| %todo !!
==