Merge pull request #570 from ceedubs/freeapp-cinnabon

Add syntax test for |@| on FreeApplicative
typelevel · Oct 15, 2015 · cb804ce · cb804ce
2 parents 757ff73 + 8b35ded
commit cb804ce
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/free/src/test/scala/cats/free/FreeApplicativeTests.scala b/free/src/test/scala/cats/free/FreeApplicativeTests.scala
@@ -65,4 +65,14 @@ class FreeApplicativeTests extends CatsSuite {
       }
     r1.foldMap(nt) should === (r2.foldMap(nt))
   }
+
+  // Ensure that syntax and implicit resolution work as expected.
+  // If it compiles, it passes the "test".
+  object SyntaxTests {
+
+    // fixed by #568
+    val fli1 = FreeApplicative.lift[List, Int](List(1, 3, 5, 7))
+    val fli2 = FreeApplicative.lift[List, Int](List(1, 3, 5, 7))
+    (fli1 |@| fli2).map(_ + _)
+  }
 }