rewrite +soft to use +mule

2025-01-04 18:43:46 +03:00 · 2018-08-20 14:34:31 -07:00 · 2018-08-20 14:34:31 -07:00 · 1f3456fc4d
commit 1f3456fc4d
parent ba0de921ab
1 changed files with 9 additions and 5 deletions
--- a/sys/hoon.hoon
+++ b/sys/hoon.hoon
@ -266,11 +266,6 @@
 ::
 ++  head  |*(^ ,:+<-)                                   ::  get head
 ++  same  |*(* +<)                                      ::  identity
-++  soft                                                ::  maybe remold
-  |*  han/$-(* *)
-  |=  fud/*  ^-  (unit han)
-  =+  gol=(han fud)
-  ?.(=(gol fud) ~ [~ gol])
 ::
 ++  tail  |*(^ ,:+<+)                                   ::  get tail
 ++  test  |=(^ =(+<- +<+))                              ::  equality
@ -5989,6 +5984,15 @@
    $2  [%| p.ton]
  ==
 ::
++  soft                                                ::  maybe remold
+  |*  han/$-(* *)
+  |=  fud/*  ^-  (unit han)
+  =+  result=(mule |.((han fud)))
+  ?-  -.result
+    %|  ~
+    %&  [~ p.result]
+  ==
+::
 ::::  4o: molds and mold builders
  ::
 +$  abel  typo                                          ::  original sin: type