🧩 [consolidate]: Simplify matrixLookup too.

explorable-viz · Oct 25, 2023 · c784f06 · c784f06
1 parent 7902759
commit c784f06
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Primitive/Defs.purs b/src/Primitive/Defs.purs
@@ -130,8 +130,8 @@ matrixLookup = mkExists $ ForeignOp' { arity: 2, op': op, op: fwd, op_bwd: bwd }
    fwd _ = throw "Matrix and pair of integers expected"
 
    bwd :: OpBwd (Raw MatrixRep × (Int × Int))
-   bwd (((MatrixRep (vss × (i' × _) × (j' × _))) × (i × j)) × v) =
-      Matrix bot (matrixPut i j (const v) (MatrixRep (((<$>) botOf <$> vss) × (i' × bot) × (j' × bot))))
+   bwd ((r × (i × j)) × v) =
+      Matrix bot (matrixPut i j (const v) (botOf r))
          : Constr bot cPair (Int bot i : Int bot j : Nil)
          : Nil