diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-14 11:37:24 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:05:14 +0200 |
commit | 92fe081bcdf7f02cd65350463db2d3d4fa72f1eb (patch) | |
tree | b9ecffa0dcc6d9874a21026d3489f2db11f67301 /tests/pos | |
parent | e2e71dcbb2343d28be0f5311c1cb0094db8cdb05 (diff) | |
download | dotty-92fe081bcdf7f02cd65350463db2d3d4fa72f1eb.tar.gz dotty-92fe081bcdf7f02cd65350463db2d3d4fa72f1eb.tar.bz2 dotty-92fe081bcdf7f02cd65350463db2d3d4fa72f1eb.zip |
Eta expand type arguments corresponding to lambdas
In Namer, eta expand any type argument that corresponds to a higher-kinded type parameter.
Also, check that all type parameter lists are fully applied.
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/partialApplications.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/pos/partialApplications.scala b/tests/pos/partialApplications.scala index b68c4b945..c1df1dee2 100644 --- a/tests/pos/partialApplications.scala +++ b/tests/pos/partialApplications.scala @@ -1,8 +1,8 @@ object Test { - type Histogram = Map[_, Int] + type Histogram[X] = Map[X, Int] - type StringlyHistogram = Histogram[_ >: String] + type StringlyHistogram[X >: String] = Histogram[X] val xs: Histogram[String] = Map[String, Int]() |