From 2cf29af98cf212b6d1b79b9676ab3949df4f7c93 Mon Sep 17 00:00:00 2001 From: Joe Bryan Date: Mon, 7 Dec 2020 19:35:31 -0800 Subject: [PATCH] arvo: moves formal interface gate to the end --- pkg/arvo/sys/arvo.hoon | 33 ++++++++++++--------------------- 1 file changed, 12 insertions(+), 21 deletions(-) diff --git a/pkg/arvo/sys/arvo.hoon b/pkg/arvo/sys/arvo.hoon index 070386c36..36277d275 100644 --- a/pkg/arvo/sys/arvo.hoon +++ b/pkg/arvo/sys/arvo.hoon @@ -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 => |% @@ -1778,7 +1758,7 @@ ++ wish :: +10 |= txt=@ q:(slap zus.mod (ream txt)) --- +-- => :: :: larval stage :: @@ -1910,3 +1890,14 @@ |= 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))