Add comment

julianpeeters · Mar 18, 2024 · 6578a47 · 6578a47
1 parent 2ef3081
commit 6578a47
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/modules/fsm/jvm/src/test/scala/dynamical/CartesianSuite.scala b/modules/fsm/jvm/src/test/scala/dynamical/CartesianSuite.scala
@@ -97,10 +97,10 @@ class CartesianSuite extends FunSuite:
       )
     val w: Wiring[((P × Q) ⊗ R) ~> (P × (Q ⊗ R))] =
       Wiring(
-        b => (b._1._1, (b._1._2, b._2)), // re-tuple
-        (b, a) => a match                // exhibit strength
-          case Left(value) => (Left(value), b._2)
-          case Right(value) => (Right(b._1._2), value._2)
+        b => (b._1._1, (b._1._2, b._2)),                  // re-tuple,
+        (b, a) => a match                                 // exhibit strength:
+          case Left(value) => (Left(value), b._2)         //   A1 => (A1, A3)
+          case Right(value) => (Right(b._1._2), value._2) //   (A2, A3) => (A2, A3)
       )
     val z: Wiring[(P × (Q ⊗ R)) ~> T] = Wiring(b => a => b, (b, a) => a)
     val m: Mealy[((S ~> ((P × Q) ⊗ R)) ~> (P × (Q ⊗ R))) ~> T] = n.andThen(w).andThen(z).asMealy