diff options
author | Martin Odersky <odersky@gmail.com> | 2014-06-18 18:20:14 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-06-18 18:21:07 +0200 |
commit | 7f721438b5bccc8ca9dd68cef273c8cac8199e1a (patch) | |
tree | a619fb770fee578354c7fca1f1c30c68f0d542d0 /tests/pos/t1236.scala | |
parent | 388d9a889c6929699e879a307dc80145b906390a (diff) | |
download | dotty-7f721438b5bccc8ca9dd68cef273c8cac8199e1a.tar.gz dotty-7f721438b5bccc8ca9dd68cef273c8cac8199e1a.tar.bz2 dotty-7f721438b5bccc8ca9dd68cef273c8cac8199e1a.zip |
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.
Diffstat (limited to 'tests/pos/t1236.scala')
-rw-r--r-- | tests/pos/t1236.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pos/t1236.scala b/tests/pos/t1236.scala index a84cad0fb..fa1ab8c0f 100644 --- a/tests/pos/t1236.scala +++ b/tests/pos/t1236.scala @@ -10,5 +10,5 @@ object T { def foo[F[_]](q:(String,String)) = "hello" def foo[F[_]](e: Empty[F]) = "world" - val x = foo[List](ListEmpty) + val x = foo(ListEmpty) } |