From bb2b877ffd57ad33a9ef513b490ffc6097646761 Mon Sep 17 00:00:00 2001 From: silnem2 <126880409+silnem2@users.noreply.github.com> Date: Sun, 3 Dec 2023 19:02:50 -0800 Subject: [PATCH 1/2] dprint: bugfix for %hold and $tune cases in +return-item --- pkg/arvo/lib/dprint.hoon | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/pkg/arvo/lib/dprint.hoon b/pkg/arvo/lib/dprint.hoon index 68d36fa6e..83ae02915 100644 --- a/pkg/arvo/lib/dprint.hoon +++ b/pkg/arvo/lib/dprint.hoon @@ -255,7 +255,8 @@ ^- (unit item) ?> ?=([%face *] sut) :: TODO: handle tune case - ?> ?=(term p.sut) + ?. ?=(term p.sut) + return-item:this(sut q.sut) =* compiled-against return-item:this(sut q.sut) `[%face (trip p.sut) *what compiled-against] :: @@ -318,7 +319,14 @@ [%face *] return-face [%fork *] return-fork [%hint *] return-hint - [%hold *] return-item:this(sut (~(play ut p.sut) q.sut)) + [%hold *] + ?: (~(has in gil) sut) + ~ + =< return-item + %= this + gil (~(put in gil) sut) + sut (~(play ut p.sut) q.sut) + == == :: ++ return-hint-core From 98b2acaed3a9ae228f373408795b52d6d1738d18 Mon Sep 17 00:00:00 2001 From: silnem2 <126880409+silnem2@users.noreply.github.com> Date: Fri, 8 Dec 2023 00:21:05 -0800 Subject: [PATCH 2/2] dprint: add (set type) for +return-item check --- pkg/arvo/lib/dprint.hoon | 1 + 1 file changed, 1 insertion(+) diff --git a/pkg/arvo/lib/dprint.hoon b/pkg/arvo/lib/dprint.hoon index 83ae02915..6c2dca452 100644 --- a/pkg/arvo/lib/dprint.hoon +++ b/pkg/arvo/lib/dprint.hoon @@ -77,6 +77,7 @@ :: +hunt: door used for refining the type while searching for doccords :: ++ hunt + =| gil=(set type) |_ [topics=(lest term) sut=type] +* this . ::