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

arvo: improves move type specialization (by spec'ing incrementally)

Browse Source
This commit is contained in:
Joe Bryan 2019-10-16 17:30:33 -07:00
parent 70ed0d6e98
commit f6b41754cc
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -326,7 +326,8 @@
?. ((sane %tas) lal) ~
%+ biff ((soft path) p.q.caq)
|= pax/path
=^ yav worm.vane (~(spot wa worm.vane) 15 caq)
=^ xav worm.vane (~(spot wa worm.vane) 7 caq)
=^ yav worm.vane (~(spot wa worm.vane) 3 xav)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%pass pax lal hil] vel]
@ -343,7 +344,8 @@
%+ biff ((soft @) p.q.caq)
|= lal/@tas
?. ((sane %tas) lal) ~
=^ yav worm.vane (~(spot wa worm.vane) 7 caq)
=^ xav worm.vane (~(spot wa worm.vane) 3 caq)
=^ yav worm.vane (~(spot wa worm.vane) 3 xav)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%slip lal hil] vel]