ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-12 05:04:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

arvo: moves formal interface gate to the end

Browse Source
This commit is contained in:
Joe Bryan 2020-12-07 19:35:31 -08:00
parent 46a65d16df
commit 2cf29af98c
1 changed files with 12 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,23 +1,3 @@
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::: :::::: Postface ::::::
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
~> %slog.[0 leaf+"arvo: assembly"]
~< %slog.[0 leaf+"arvo: assembled"]
=< ::
:: Arvo formal interface
::
:: this lifecycle wrapper makes the arvo door (multi-armed core)
:: look like a gate (function or single-armed core), to fit
:: urbit's formal lifecycle function. a practical interpreter
:: can ignore it.
::
|= [now=@da ovo=ovum]
^- *
~> %slog.[0 leaf+"arvo: formal event"]
.(+> +:(poke now ovo))
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::: :::::: volume 3, Arvo models and skeleton ::::::
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
=> ..ride => ..ride
=> =>
|% |%
@ -1778,7 +1758,7 @@
++ wish :: +10 ++ wish :: +10
|= txt=@ |= txt=@
q:(slap zus.mod (ream txt)) q:(slap zus.mod (ream txt))
-- -- =>
:: ::
:: larval stage :: larval stage
:: ::
@ -1910,3 +1890,14 @@
|= txt=* |= txt=*
q:(slap ?~(zus pit $:u.zus) (ream ;;(@t txt))) q:(slap ?~(zus pit $:u.zus) (ream ;;(@t txt)))
-- --
::
:: Arvo formal interface
::
:: this lifecycle wrapper makes the arvo door (multi-armed core)
:: look like a gate (function or single-armed core), to fit
:: urbit's formal lifecycle function (see aeon:eden:part).
:: a practical interpreter can and will ignore it.
::
|= [now=@da ovo=ovum]
^- *
.(+> +:(poke now ovo))