clean up formatting

l-adic · May 30, 2024 · c3df7a9 · c3df7a9
1 parent fb5e4b1
commit c3df7a9
Showing 1 changed file with 4 additions and 11 deletions.
diff --git a/circuit/src/ZK/Adder.hs b/circuit/src/ZK/Adder.hs
@@ -15,14 +15,7 @@ circuit = do
   adder <- var_ <$> fieldInput Private "adder"
   step_in <- map var_ <$> fieldInputs @2 Public "step_in"
   let step_out =
-        bundle_ $
-          Build
-            ( step_in `index` 0
-                + adder
-                  :< step_in
-                  `index` 0
-                + step_in
-                  `index` 1
-                  :< Nil
-            )
-  void $ fieldOutputs "step_out" step_out
+        let so0 = (step_in `index` 0) + adder
+            so1 = (step_in `index` 0) + (step_in `index` 1)
+         in Build (so0 :< so1 :< Nil)
+  void $ fieldOutputs "step_out" (bundle_ step_out)