🧩 [layout]

test/Util.purs

@@ -90,14 +90,16 @@ testTrace s γα spec@{ δv } = do
 
    { gc: GC eval, v } <- do
       GC desug <- desugGC s
-      let e = desug.fwd s
-          γ = erase <$> γα
+      let
+         e = desug.fwd s
+         γ = erase <$> γα
       benchmark (method <> "-Eval") $ \_ -> traceGC γ e
 
    γ𝔹 × e𝔹 × _ <- do
       let v𝔹 = δv (botOf v)
-      unless (isGraphical v𝔹) $
-         when logging $ logAs "Selection for bwd" (prettyP v𝔹)
+      unless (isGraphical v𝔹)
+         $ when logging
+         $ logAs "Selection for bwd" (prettyP v𝔹)
       benchmark (method <> "-Bwd") $ \_ -> pure (eval.bwd v𝔹)
 
    GC desug𝔹 <- desugGC s
@@ -118,8 +120,9 @@ testGraph s gconfig spec@{ δv } benchmarking = do
       let e = desug.fwd s
       benchmark (method <> "-Eval") $ \_ -> graphGC gconfig e
 
-   let v𝔹 = δv (botOf vα)
-       αs_out = selectαs v𝔹 vα
+   let
+      v𝔹 = δv (botOf vα)
+      αs_out = selectαs v𝔹 vα
    αs_in <- benchmark (method <> "-Bwd") $ \_ -> pure (eval.bwd αs_out)
    let e𝔹 = select𝔹s eα αs_in