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

ska: de-unitizes +pull:so

Browse Source
This commit is contained in:
Joe Bryan 2024-06-10 21:12:07 -04:00
parent 3d36f50ea3
commit 7b3d7ce560
2 changed files with 26 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -221,21 +221,18 @@
[%0 a=@] [%0 a=@]
?: =(0 @) ~& [%fast-bad-clue clue] gen ?: =(0 @) ~& [%fast-bad-clue clue] gen
:: register child core :: register child core
=/ butt (~(pull so sock.bite) 2) =/ batt (~(pull so sock.bite) 2)
?~ butt
~& %fast-miss-batt gen
=* batt u.butt
?. =(& cape.batt) ~& [%fast-hide-batt pell] gen ?. =(& cape.batt) ~& [%fast-hide-batt pell] gen
?. ?=(^ data.batt) gen ?. ?=(^ data.batt) gen
=/ perk (~(pull so sock.bite) a.pare.clue) =/ park (~(pull so sock.bite) a.pare.clue)
?~ perk ~& %fast-lost-sire gen :: XX ???
=* park u.perk :: ?. =(& cape.park) ~& %fast-lost-sire gen
=/ past=(set path) =/ past=(set path)
?. =(& cape.park) ~ ?. =(& cape.park) ~
(~(get ju root.cole.gen) data.park) (~(get ju root.cole.gen) data.park)
=/ bork (~(pull so park) 2) =/ bork (~(pull so park) 2)
=? past ?&(?=(^ bork) =(& cape.u.bork) ?=(^ data.u.bork)) =? past &(?=(%& cape.bork) ?=(^ data.bork))
(~(uni in past) (~(get ju batt.cole.gen) data.u.bork)) (~(uni in past) (~(get ju batt.cole.gen) data.bork))
=/ pale ~(tap in past) =/ pale ~(tap in past)
|- ^- lore |- ^- lore
=* pale-loop $ =* pale-loop $
@ -479,11 +476,10 @@
:: ::
[%0 axe=@] [%0 axe=@]
?: =(0 axe.form) [[[%not 0] [~ | ~]] gen] ?: =(0 axe.form) [[[%not 0] [~ | ~]] gen]
=/ salt (~(pull so sock.less) axe.form)
?~ salt [[[%not axe.form] [~ | ~]] gen]
:_ gen :_ gen
:- [%not axe.form] :+ [%not axe.form]
[(~(ask qui prot.less) axe.form) u.salt] (~(ask qui prot.less) axe.form)
(~(pull so sock.less) axe.form)
:: ::
[%1 n=*] [%1 n=*]
[[[%one n.form] [~ & n.form]] gen] [[[%one n.form] [~ & n.form]] gen]
@ -647,10 +643,9 @@
%- ~(rep in q) %- ~(rep in q)
|: [s=*sock b=b] |: [s=*sock b=b]
=/ batt (~(pull so s) 2) =/ batt (~(pull so s) 2)
?~ batt b ?. =(& cape.batt) ~& [%cold-miss-batt p] b
?. =(& cape.u.batt) ~& [%cold-miss-batt p] b
:: split up battery at autocons sites :: split up battery at autocons sites
=* f data.u.batt =* f data.batt
=/ a=@ 1 =/ a=@ 1
|- ^- _b |- ^- _b
?. ?=([^ *] f) ?. ?=([^ *] f)

25
hoon/codegen/lib/soak.hoon
View File

@ -219,19 +219,24 @@
== ==
:: axis :: axis
:: ::
:: create a sock that is known to be cells down the given axis :: create a sock that, if known, has cells down the given axis
:: and at that axis is one :: and at that axis is one
++ pull ++ pull
|= axe=@ |= axe=@
^- (unit sock) ?< =(0 axe)
?: =(0 axe) ~ |- ^- sock
|- ^- (unit sock) ?: =(1 axe) one
?: =(1 axe) `one ?: |(?=(%| cape.one) ?=(@ data.one))
?: ?=(%| cape.one) `[| ~] [| ~]
?. ?=(^ data.one) ~ =+ [now lat]=[(cap axe) (mas axe)]
?- (cap axe) ?@ cape.one
%2 $(data.one -.data.one, cape.one ?:(?=(^ cape.one) -.cape.one &), axe (mas axe)) ?- now
%3 $(data.one +.data.one, cape.one ?:(?=(^ cape.one) +.cape.one &), axe (mas axe)) %2 $(axe lat, data.one -.data.one)
%3 $(axe lat, data.one +.data.one)
==
?- now
%2 $(axe lat, data.one -.data.one, cape.one -.cape.one)
%3 $(axe lat, data.one +.data.one, cape.one +.cape.one)
== ==
:: pair :: pair
:: ::