urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-05 11:09:30 +03:00
Code Issues Packages Projects Releases Wiki Activity

arvo: use cached reflexives over explicit vases

Browse Source
This commit is contained in:
Joe Bryan 2020-02-07 11:18:00 -08:00
parent 02d811f6de
commit eb6b99d9b5
1 changed files with 26 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -284,16 +284,6 @@
%& [%& (slop hed p.tal)] %& [%& (slop hed p.tal)]
%| [%| [%cell p.hed p.p.tal] [q.hed q.p.tal]] %| [%| [%cell p.hed p.p.tal] [q.hed q.p.tal]]
== ==
:: +slix: en-hypo XX remove
::
++ slix
|= hil=mill
^- mill
=/ typ -:!>(*type)
?- -.hil
%& [%& (slop [typ p.p.hil] p.hil)]
%| [%| [%cell typ p.p.hil] p.hil]
==
:: ::
+| %engines +| %engines
:: ::
@ -302,9 +292,9 @@
++ me ++ me
~/ %me ~/ %me
|_ :: sac: compiler cache |_ :: sac: compiler cache
:: pyt: type of type :: pyt: cached types
:: ::
[sac=worm pyt=type] [sac=worm vil=vile]
:: +refine-moves: move list from vase (was +said) :: +refine-moves: move list from vase (was +said)
:: ::
++ refine-moves ++ refine-moves
@ -411,7 +401,7 @@
=^ hip sac (~(nell wa sac) p.tiv) =^ hip sac (~(nell wa sac) p.tiv)
?> hip ?> hip
=^ typ sac (~(slot wa sac) 2 tiv) =^ typ sac (~(slot wa sac) 2 tiv)
=. sac (~(neat wa sac) pyt [%& typ]) =. sac (~(neat wa sac) typ.vil [%& typ])
:: ::
:: support for meta-meta-cards has been removed :: support for meta-meta-cards has been removed
:: ::
@ -423,7 +413,7 @@
:: |- ^- (pair [%| meta] worm) :: |- ^- (pair [%| meta] worm)
:: ?. ?=([%meta *] mut) :: ?. ?=([%meta *] mut)
:: [[%| mut] sac] :: [[%| mut] sac]
:: =^ dip sac (~(nets wa sac) -:!>([%meta *vase]) p.mut) :: =^ dip sac (~(nets wa sac) mev.vil p.mut)
:: ?> dip :: ?> dip
:: $(q.tiv +.q.mut) :: $(q.tiv +.q.mut)
-- --
@ -432,7 +422,7 @@
:: ::
++ va ++ va
~/ %va ~/ %va
|_ [our=ship vax=vase sac=worm] |_ [our=ship vil=vile vax=vase sac=worm]
:: ::
:: |plow:va: operate in time and space :: |plow:va: operate in time and space
:: ::
@ -469,13 +459,23 @@
:: ::
++ spin ++ spin
|= [hen=duct eny=@uvJ] |= [hen=duct eny=@uvJ]
=/ duc !>(hen) :: =/ duc !>(hen)
=* duc [duc.vil hen]
=/ sam=vane-sample [our now eny sky] =/ sam=vane-sample [our now eny sky]
=^ rig sac =^ rig sac
~> %mean.'spin: activation failed' ~> %mean.'spin: activation failed'
(~(slym wa sac) vax sam) (~(slym wa sac) vax sam)
:: ::
|% |%
:: +slix: en-hypo XX remove
::
++ slix
|= hil=mill
^- mill
?- -.hil
%& [%& (slop [typ.vil p.p.hil] p.hil)]
%| [%| [%cell typ.vil p.p.hil] p.hil]
==
:: +peel:spin:plow:va: extract products, finalize vane :: +peel:spin:plow:va: extract products, finalize vane
:: ::
++ peel ++ peel
@ -516,7 +516,9 @@
:: sample is [wire duct (hypo sign=[term gift])] :: sample is [wire duct (hypo sign=[term gift])]
:: ::
=/ sam=mill =/ sam=mill
(slid !>(wire) (slid duc (slix (slid src gift)))) :: =/ tea !>(wire)
=* tea [pah.vil wire]
(slid tea (slid duc (slix (slid src gift))))
=^ pro sac (slur sac gat sam) =^ pro sac (slur sac gat sam)
(peel pro) (peel pro)
-- --
@ -548,6 +550,7 @@
now=@da now=@da
eny=@uvJ eny=@uvJ
lac=? lac=?
vil=vile
van=(map term vane) van=(map term vane)
== ==
+* this . +* this .
@ -727,7 +730,7 @@
|= [way=term [zom=vase vax=vase] sac=worm] |= [way=term [zom=vase vax=vase] sac=worm]
^+ this ^+ this
=^ moz sac =^ moz sac
(~(refine-moves me sac -:!>(*type)) zom) (~(refine-moves me sac vil) zom)
=. van (~(put by van) way [vax sac]) =. van (~(put by van) way [vax sac])
(emit way moz) (emit way moz)
:: +plow: operate on a vane, in time and space :: +plow: operate on a vane, in time and space
@ -738,7 +741,7 @@
=/ =vane =/ =vane
~| [%missing-vane way] ~| [%missing-vane way]
(~(got by van) way) (~(got by van) way)
(~(plow va [our vane]) now peek) (~(plow va [our vil vane]) now peek)
-- --
-- --
:: ::
@ -1009,7 +1012,7 @@
=< abet:loop =< abet:loop
%. i.ova %. i.ova
%~ spam le:part %~ spam le:part
[our now eny lac (~(gas by *(map term vane)) vanes)] [our now eny lac vil (~(gas by *(map term vane)) vanes)]
:: ::
$(out [i.ova out], ova (weld t.ova zef)) $(out [i.ova out], ova (weld t.ova zef))
:: ::
@ -1025,7 +1028,7 @@
%. [[151 %noun] hap] %. [[151 %noun] hap]
%- sloy %- sloy
%~ peek le:part %~ peek le:part
[our now eny lac (~(gas by *(map term vane)) vanes)] [our now eny lac vil (~(gas by *(map term vane)) vanes)]
:: ::
++ poke :: external apply ++ poke :: external apply
|= [now=@da ovo=ovum] |= [now=@da ovo=ovum]
@ -1051,7 +1054,7 @@
=< abet:loop =< abet:loop
%. ovo %. ovo
%~ spam le:part %~ spam le:part
[our now eny lac (~(gas by *(map term vane)) vanes)] [our now eny lac vil (~(gas by *(map term vane)) vanes)]
:: clear compiler caches if high-priority :: clear compiler caches if high-priority
:: ::
=? vanes =(0 p.q.ovo) =? vanes =(0 p.q.ovo)
@ -1066,7 +1069,7 @@
=< abet:loop =< abet:loop
%. [(dint:$:is p.ovo) ovo] %. [(dint:$:is p.ovo) ovo]
%~ poke le:part %~ poke le:part
[our now eny lac (~(gas by *(map term vane)) vanes)] [our now eny lac vil (~(gas by *(map term vane)) vanes)]
:: ::
[zef +>.$] [zef +>.$]
:: +feck: handle an arvo effect :: +feck: handle an arvo effect