From 3375fabc6aa99ef1ae06ee048c876ee6d4f77ac5 Mon Sep 17 00:00:00 2001
From: Rheidner <rheidner.achiles@gmail.com>
Date: Fri, 25 Jun 2021 15:20:49 -0300
Subject: [PATCH] temp fix def

---
 base/Array/mut.kind | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/base/Array/mut.kind b/base/Array/mut.kind
index 21179974..49d00161 100644
--- a/base/Array/mut.kind
+++ b/base/Array/mut.kind
@@ -2,10 +2,14 @@
 Array.mut<A:Type, depth:Nat>(idx: Word(depth), f: A -> A, arr: Array<A,depth>): Array<A,depth>
   def P = (depth) Array<A,depth> -> Array<A,depth>
   def nil = (arr) Array.tip<A>(f(Array.extract_tip<A>(arr)))
-  def w0 = <idx.size> (rec) (arr)
+  
+  Word.foldl<P, depth>(
+    nil, 
+    <idx.size> (rec) (arr)
+      let {arr_l,arr_r} = Array.extract_tie<A, idx.size>(arr)
+      Array.tie<A, idx.size>(rec(arr_l), arr_r), 
+    <idx.size> (rec) (arr)
     let {arr_l,arr_r} = Array.extract_tie<A, idx.size>(arr)
-    Array.tie<A, idx.size>(rec(arr_l), arr_r)
-  def w1 = <idx.size> (rec) (arr)
-    let {arr_l,arr_r} = Array.extract_tie<A, idx.size>(arr)
-    Array.tie<A, idx.size>(arr_l, rec(arr_r))
-  Word.foldl<P, depth>(nil, w0, w1, idx, arr)
+    Array.tie<A, idx.size>(arr_l, rec(arr_r)), 
+    idx, 
+    arr)