diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-04-19 19:48:57 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:48:08 +0200 |
| commit | d78885ff06bea4840cdf9bee61dd3698fcff820a (patch) | |
| tree | c93a65fdd1219d2dbe26a59de4873c79b808d471 /src/dotty/tools/dotc/typer/EtaExpansion.scala | |
| parent | 9203e01ddd141ddbb96e3064be5e894ddb666fd8 (diff) | |
| download | dotty-d78885ff06bea4840cdf9bee61dd3698fcff820a.tar.gz dotty-d78885ff06bea4840cdf9bee61dd3698fcff820a.tar.bz2 dotty-d78885ff06bea4840cdf9bee61dd3698fcff820a.zip | |
isAfterTyper test
Add test whether we are after typer. Use it to assert that
eta expansion and implicit search do not happen after typer.
Diffstat (limited to 'src/dotty/tools/dotc/typer/EtaExpansion.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/EtaExpansion.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/EtaExpansion.scala b/src/dotty/tools/dotc/typer/EtaExpansion.scala index 099dd943a..110dc6152 100644 --- a/src/dotty/tools/dotc/typer/EtaExpansion.scala +++ b/src/dotty/tools/dotc/typer/EtaExpansion.scala @@ -116,6 +116,7 @@ object EtaExpansion { */ def etaExpand(tree: Tree, mt: MethodType, xarity: Int)(implicit ctx: Context): untpd.Tree = { import untpd._ + assert(!ctx.isAfterTyper) val defs = new mutable.ListBuffer[tpd.Tree] val lifted: Tree = TypedSplice(liftApp(defs, tree)) val paramTypes: List[Tree] = |