initial support for 2-arg contravariant derivations; works for simple Eq typeclass, still wip

1 files changed, 12 insertions, 4 deletions

diff --git a/tests/shared/src/main/scala/magnolia/main.scala b/tests/shared/src/main/scala/magnolia/main.scala
index 014ec33..c56d617 100644
--- a/tests/shared/src/main/scala/magnolia/main.scala
+++ b/tests/shared/src/main/scala/magnolia/main.scala
@@ -4,10 +4,18 @@ import examples._
 
 object Main {
   def main(args: Array[String]): Unit = {
-    println(Branch(Branch(Leaf(1, null), Leaf(2, null)), Leaf(3, null)).show)
-    println(List[Entity](Person("John Smith",
-        Address(List("1 High Street", "London", "SW1A 1AA"),
-        Country("UK", "GBR", false)))).show)
+
+    val tree1: Tree = Branch(Branch(Leaf(1, "abc"), Leaf(2, "def")), Leaf(3, "ghi"))
+    val tree2: Tree = Branch(Leaf(1, "abc"), Leaf(2, "def"))
+
+//    println(tree1.show)
+    println(tree1 isEqualTo tree1)
+    println(tree1 isEqualTo tree2)
+
+//    println(List[Entity](Person("John Smith",
+//      Address(List("1 High Street", "London", "SW1A 1AA"),
+//        Country("UK", "GBR", false)))).show)
+
   }
 }