urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-11-22 06:32:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

ska: adds +melo-punt, turning all "meloization" sites indirect

Browse Source
This commit is contained in:
Joe Bryan 2024-06-05 16:33:37 -04:00
parent 8805494906
commit fd20e17a62
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -87,6 +87,19 @@
=. call.gen (~(put by call.gen) entr [less more form ~ & | place.dad space.i.germ])
`[more gen]
::
++ melo-punt
|= [entr=@hail form=* less=naan]
^- (unit [naan lore])
=/ gorm (~(get ja melo.gen) form)
|- ^- (unit [naan lore])
?~ gorm ~
?. (~(huge so soot.i.gorm) sock.less)
$(gorm t.gorm)
=> !@(call.verb ((onto:blot "<2 " entr place.dad [site place space]:i.gorm) .) .)
:+ ~ [~ | ~]
?> ?=([* * *] tack.dad)
gen(dire |, kids (~(del ju kids.gen) i.t.tack.dad entr))
::
:: +melo: check for in-progress analysis
::
:: hits are estimates, must be validated in +seal
@ -429,6 +442,7 @@
:: check if memoized
?^ m=(memo entr form less) u.m
?^ m=(melo entr form less) u.m
:: ?^ m=(melo-punt entr form less) u.m
::
=^ [load=nomm more=naan] gen
:: structurally recur over formula