diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-12-26 22:12:57 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2015-12-26 22:12:57 +0100 |
commit | 2427f056447ab3f9a0ceaa001353eb0a4067e1bb (patch) | |
tree | b9013e390a217a2da5f46401164958adf44d48de /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | c66613de7f32cfabbca765a96f1a3cc0ea2d5bcb (diff) | |
parent | e51b8845fb20fe3a4e1c655d4b72e2833906bbc2 (diff) | |
download | dotty-2427f056447ab3f9a0ceaa001353eb0a4067e1bb.tar.gz dotty-2427f056447ab3f9a0ceaa001353eb0a4067e1bb.tar.bz2 dotty-2427f056447ab3f9a0ceaa001353eb0a4067e1bb.zip |
Merge pull request #1006 from dotty-staging/more-tests
More tests
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index 8aea3381a..aab327ce9 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -374,14 +374,10 @@ class TypeApplications(val self: Type) extends AnyVal { //.ensuring(res => res.EtaReduce =:= self, s"res = $res, core = ${res.EtaReduce}, self = $self, hc = ${res.hashCode}") } - /** Eta expand the prefix in front of any refinements. - * @param tparamsForBottom Type parameters to use if core is a bottom type - */ - def EtaExpandCore(tparamsForBottom: List[TypeSymbol])(implicit ctx: Context): Type = self.stripTypeVar match { + /** Eta expand the prefix in front of any refinements. */ + def EtaExpandCore(implicit ctx: Context): Type = self.stripTypeVar match { case self: RefinedType => - self.derivedRefinedType(self.parent.EtaExpandCore(tparamsForBottom), self.refinedName, self.refinedInfo) - case tp: TypeRef if defn.isBottomClass(tp.symbol) => - self.LambdaAbstract(tparamsForBottom) + self.derivedRefinedType(self.parent.EtaExpandCore, self.refinedName, self.refinedInfo) case _ => self.EtaExpand(self.typeParams) } |