From 92fe081bcdf7f02cd65350463db2d3d4fa72f1eb Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 14 Jul 2015 11:37:24 +0200 Subject: 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. --- tests/pos/partialApplications.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tests') 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]() -- cgit v1.2.3