Add ++zing.

2024-12-04 14:58:10 +03:00 · 2014-03-07 16:31:36 -08:00 · 2014-03-07 16:31:36 -08:00 · c1570f1272
commit c1570f1272
parent a49bd3f260
1 changed files with 10 additions and 2 deletions
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@ -726,6 +726,13 @@
  |-
  ?~  a  b
  [i=i.a $(a t.a)]
+::
++  zing                                                ::  promote
+  |*  a=(list (list))
+  ^+  ?>(?=(^ a) (homo i.a))
+  |-
+  ?~  a  ~
+  (weld i.a $(a t.a))
 ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
 ::                section 2bC, gears                    ::
 ::
@ -4995,9 +5002,10 @@
    ==
  ::
  ++  dish
-    |=  [ham=calf lum=*]  ^-  tank
+    |=  [ham=calf lum=*]  ^-  tank  !:
    ~|  [%dish-h ?@(q.ham q.ham -.q.ham)]
-    ::  ~|  [%lump lum]
+    ~|  [%lump lum]
+    ~|  [%ham ham]
    %-  need
    =|  gil=(set ,[@ud *])
    |-  ^-  (unit tank)