ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2025-01-03 12:42:48 +03:00
Code Issues Packages Projects Releases Wiki Activity

removes +-rap:to accumulator arg and changes calling convention

Browse Source
This commit is contained in:
Joseph Bryan 2017-02-14 15:34:40 -05:00
parent af767350a8
commit 02593d6f28
3 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sys/hoon.hoon
View File

@ -1510,9 +1510,9 @@
bal(a a(l $(a l.a)))
::
+- tap :: adds list to end
|= b/(list _?>(?=(^ a) n.a))
=| b/(list _?>(?=(^ a) n.a))
|- ^+ b
=+ 0 :: hack for jet match
^+ b
?~ a
b
$(a r.a, b [n.a $(a l.a)])

10
sys/vane/ames.hoon
View File

@ -370,10 +370,10 @@
++ aver :: verify
?> (lte cur.saw max.saw)
?> !=(0 max.saw)
?. =(cur.saw (lent (~(tap to liv))))
~& [%aver-cur cur.saw (lent (~(tap to liv)))]
?. =(cur.saw (lent ~(tap to liv)))
~& [%aver-cur cur.saw (lent ~(tap to liv))]
!!
?> =(rey.saw (lent (~(tap to lop))))
?> =(rey.saw (lent ~(tap to lop)))
?> =+ |= {a/coal b/coal}
&((lth out.a out.b) (lth lod.a lod.b))
|- ?| ?=($~ liv)
@ -432,7 +432,7 @@
[& $(liv l.liv)]
?~ ack [~ ~ liv]
=. ded ?:(top [n.liv ded] ded)
=. ded ?:(vig.clu.u.ack (~(tap to r.liv) ded) ded)
=? ded vig.clu.u.ack (weld ~(tap to r.liv) ded)
=. lov ?:(top [n.liv lov ~] lov)
[ack ded lov]
:: ::
@ -512,7 +512,7 @@
::
:: everything in front of a dead packet is dead
::
$(liv l.liv, ded (~(tap to r.liv) [n.liv ded]))
$(liv l.liv, ded (welp ~(tap to r.liv) [n.liv ded]))
=+ ryt=$(liv r.liv)
[p.ryt [n.liv l.liv q.ryt]]
:: ::

10
sys/vane/xmas.hoon
View File

@ -709,10 +709,10 @@
++ aver :: verify
?> (lte cur.saw max.saw)
?> !=(0 max.saw)
?. =(cur.saw (lent (~(tap to liv))))
~& [%aver-cur cur.saw (lent (~(tap to liv)))]
?. =(cur.saw (lent ~(tap to liv)))
~& [%aver-cur cur.saw (lent ~(tap to liv))]
!!
?> =(rey.saw (lent (~(tap to lop))))
?> =(rey.saw (lent ~(tap to lop)))
?> =+ |= {a/coal b/coal}
&((lth out.a out.b) (lth lod.a lod.b))
|- ?| ?=($~ liv)
@ -771,7 +771,7 @@
[& $(liv l.liv)]
?~ ack [~ ~ liv]
=. ded ?:(top [n.liv ded] ded)
=. ded ?:(vig.clu.u.ack (~(tap to r.liv) ded) ded)
=? ded vig.clu.u.ack (weld ~(tap to r.liv) ded)
=. lov ?:(top [n.liv lov ~] lov)
[ack ded lov]
:: ::
@ -851,7 +851,7 @@
::
:: everything in front of a dead packet is dead
::
$(liv l.liv, ded (~(tap to r.liv) [n.liv ded]))
$(liv l.liv, ded (welp ~(tap to r.liv) [n.liv ded]))
=+ ryt=$(liv r.liv)
[p.ryt [n.liv l.liv q.ryt]]
:: ::