test for spread

TODO.md

@@ -2,8 +2,6 @@ remove syntax of rearrange
 
 update docs about using `@spread` to do rearrange
 
-
-
 `(cons)` -- unconnected node as value -- redesign syntax of rearrange
 
 ```

tests/builtin/spread.i

@@ -0,0 +1,15 @@
+type Nat -- @Type end
+node zero -- Nat :value! end
+node add1 Nat :prev -- Nat :value! end
+
+node add
+  Nat :target!
+  Nat :addend
+  --------
+  Nat :return
+end
+
+(add) @spread $target $addend $return
+target @inspect
+addend @inspect
+return @inspect

tests/builtin/spread.i.out

@@ -0,0 +1,3 @@
+net_from_port (add₀)-target! end
+net_from_port (add₀)-addend end
+net_from_port (add₀)-return end

tests/datatype/DiffList.test.i

@@ -4,8 +4,8 @@ require "Trivial.i"
 claim one_two_soles -- Trivial DiffList end
 
 define one_two_soles
-  sole (cons :tail) diff @rot @rot @connect
-  sole (cons :tail) sole cons diff @rot @rot @connect
+  (diff) @spread $front sole cons front @connect
+  (diff) @spread $front sole cons sole cons front @connect
   diff_append
 end