diff --git a/pkg/arvo/lib/dprint.hoon b/pkg/arvo/lib/dprint.hoon index 68d36fa6ef..6c2dca4525 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 . :: @@ -255,7 +256,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 +320,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