From 4ab191732ecad0ed12841934932d0bd2f38ae0c5 Mon Sep 17 00:00:00 2001
From: Edward Amsden <edward@blackriversoft.com>
Date: Tue, 14 Mar 2023 21:37:17 -0500
Subject: [PATCH] [ska] [initialization] semantic corrections for +wove,
 comment correction for +arid

---
 hoon/codegen/lib/sky.hoon | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/hoon/codegen/lib/sky.hoon b/hoon/codegen/lib/sky.hoon
index 345ceba..9266db4 100644
--- a/hoon/codegen/lib/sky.hoon
+++ b/hoon/codegen/lib/sky.hoon
@@ -14,6 +14,7 @@
 ++  wove
   |=  kine=type
   ^-  boot
+  =|  gil=(set type)
   ?@  kine
     ?-  kine
       %noun  [%risk %toss ~]
@@ -38,7 +39,7 @@
   ::
       %fork
     =/  tins  ~(tap in p.kine)
-    ?~  tins  [%risk %toss ~]
+    ?~  tins  [%boom ~]
     =/  hypo  $(kine i.tins)
     =/  tons  t.tins
     |-
@@ -50,7 +51,9 @@
     $(kine q.kine)
   ::
       %hold
-    $(kine p.kine)
+    ?:  (~(has in gil) kine)
+      [%risk %toss ~]
+    $(gil (~(put in gil) kine), kine ~(repo ut kine))
   ==
 :: turn a seminoun into a sock
 ++  spry
@@ -81,7 +84,7 @@
 ::  than what we knew last time (intersection cannot add knowledge)
 ::  if we know the same, we stop now. We can only subtract finitely many
 ::  axes of knowledge from the tree before we know [%boom ~] or
-::  [%risk %gues ~] at which point we will learn the same thing twice
+::  [%risk %toss ~] at which point we will learn the same thing twice
 ::  and terminate
 ++  arid
   |=  [muck=boot step=(list [@ @])]