From b1d82078633453a27882b31cfd0dfa0c77e9777c Mon Sep 17 00:00:00 2001 From: Joe Bryan Date: Thu, 6 Dec 2018 15:32:42 -0500 Subject: [PATCH] 11. restores a single, top-level Arvo formal interface gate --- sys/arvo.hoon | 34 ++++++++++++---------------------- 1 file changed, 12 insertions(+), 22 deletions(-) diff --git a/sys/arvo.hoon b/sys/arvo.hoon index 4c821552f6..bf6cb5b162 100644 --- a/sys/arvo.hoon +++ b/sys/arvo.hoon @@ -4,6 +4,18 @@ ~> %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=*] + ^- * + ~> %slog.[0 leaf+"arvo-event"] + .(+> +:(poke now ovo)) :::::: :::::::::::::::::::::::::::::::::::::::::::::::::::::: :::::: :::::: volume 3, Arvo models and skeleton :::::: :::::: :::::::::::::::::::::::::::::::::::::::::::::::::::::: @@ -515,16 +527,6 @@ :: For convenience, this larval stage also supports hoon compilation :: with +wish and vane installation with the %veer event. :: - =< :: larval Arvo formal interface - :: - :: See the Arvo formal interface below for context. - :: - |= [now=@da ovo=*] - ^- * - ~> %slog.[0 leaf+"larvo-event"] - .(+> +:(poke now ovo)) - :: larval Arvo state - :: =/ pit=vase !>(..is) =| $: :: who: our identity once we know it :: eny: entropy once we learn it @@ -592,18 +594,6 @@ q:(slap ?~(bod pit u.bod) (ream 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. a practical interpreter - :: can ignore it. - :: - |= [now=@da ovo=*] - ^- * - ~> %slog.[0 leaf+"arvo-event"] - .(+> +:(poke now ovo)) -:: :: persistent arvo state :: =/ pit=vase !>(..is) ::