Remove broken test (Effekt miscompilation)

see effekt-lang/effekt#934

Author: marvinborner

test/ruler.effekt

@@ -64,17 +64,18 @@ def tests() = suite("└ ruler tests") {
       Constructor(Port("xSym4", Pos()), [Port("xDup11_1", Pos()), Port("xDup11_1", Neg())], LightTriangle())])
   }
 
-  test("normalization: erasing church") {
-    val program: Program = collect {
-      with assertNoThrow[WrongFormat]
-      with source[Char] { "(x=>y=>y s=>z=>(s (s (s z))))".each }
-      compile!()
-    }
-    val redexes = box { program.redexes() }
-    val (normalized, steps) = normalize(program, redexes)
-    assertEqual(steps, 13)
-    assertEqual(list::collect[Constructor] { normalized() }, [
-      Constructor(Port("yDup3", Neg()), [Port("ySym1", Pos())], DarkTriangle()),
-      Constructor(Port("kAbs2", Pos()), [Port("yDup3", Pos()), Port("ySym1", Neg())], LightTriangle())])
-  }
+  // TODO: this works, but only without optimizations ("b_k_0 is not defined")
+  // test("normalization: erasing church") {
+  //   val program: Program = collect {
+  //     with assertNoThrow[WrongFormat]
+  //     with source[Char] { "(x=>y=>y s=>z=>(s (s (s z))))".each }
+  //     compile!()
+  //   }
+  //   val redexes = box { program.redexes() }
+  //   val (normalized, steps) = normalize(program, redexes)
+  //   assertEqual(steps, 13)
+  //   assertEqual(list::collect[Constructor] { normalized() }, [
+  //     Constructor(Port("yDup3", Neg()), [Port("ySym1", Pos())], DarkTriangle()),
+  //     Constructor(Port("kAbs2", Pos()), [Port("yDup3", Pos()), Port("ySym1", Neg())], LightTriangle())])
+  // }
 }