Handling higher-kinded types with lambdas

Switch to the new scheme where higher-kinded types (and also some polymorphic
type aliases) are represented as instances of Lambda traits.

1 files changed, 15 insertions, 0 deletions

diff --git a/tests/pending/pos/t1236a.scala b/tests/pending/pos/t1236a.scala
new file mode 100644
index 000000000..a1a5a81f4
--- /dev/null
+++ b/tests/pending/pos/t1236a.scala
@@ -0,0 +1,15 @@
+trait Empty[E[_]] {
+  def e[A]: E[A]
+}
+
+object T {
+  val ListEmpty = new Empty[List] {
+    def e[B] = Nil
+  }
+
+  // needs better type inference for hk types
+  def foo[F[_]](q:(String,String)) = "hello"
+  def foo[F[_]](e: Empty[F]) = "world"
+
+  val x = foo[List](ListEmpty)
+}