diff options
author | Martin Odersky <odersky@gmail.com> | 2014-10-22 11:46:03 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-10-26 16:24:01 +0100 |
commit | 854373753526248737ee554290b73fa583f0c264 (patch) | |
tree | 13d8eb104233d7bbd934e3324609c7905986b3bc | |
parent | e7cc8a4012b9bfc9bc6ae811b37cc468ced46ff2 (diff) | |
download | dotty-854373753526248737ee554290b73fa583f0c264.tar.gz dotty-854373753526248737ee554290b73fa583f0c264.tar.bz2 dotty-854373753526248737ee554290b73fa583f0c264.zip |
SuperTypes are now promoted in Retyper; lambdaLift fails to Ycheck otherwise.
-rw-r--r-- | src/dotty/tools/dotc/typer/ReTyper.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/ReTyper.scala b/src/dotty/tools/dotc/typer/ReTyper.scala index 6895f9978..f36e8e2fd 100644 --- a/src/dotty/tools/dotc/typer/ReTyper.scala +++ b/src/dotty/tools/dotc/typer/ReTyper.scala @@ -47,6 +47,9 @@ class ReTyper extends Typer { override def typedThis(tree: untpd.This)(implicit ctx: Context): Tree = promote(tree) + override def typedSuper(tree: untpd.Super, pt: Type)(implicit ctx: Context): Tree = + promote(tree) + override def typedTypeTree(tree: untpd.TypeTree, pt: Type)(implicit ctx: Context): TypeTree = promote(tree) |