diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-17 14:02:29 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
| commit | 78e6cc748b4dcde30bdac3618c4804ff65f32e45 (patch) | |
| tree | 1786347de0ecfc4e841a6a873c704739dadfc2e5 /compiler/src/dotty/tools/dotc/core/TyperState.scala | |
| parent | 70b3b90d686f3444e6b16cbf9deedc8aed0c62e8 (diff) | |
| download | dotty-78e6cc748b4dcde30bdac3618c4804ff65f32e45.tar.gz dotty-78e6cc748b4dcde30bdac3618c4804ff65f32e45.tar.bz2 dotty-78e6cc748b4dcde30bdac3618c4804ff65f32e45.zip | |
Make PolyTypes subtypes of LambdaTypes
Also, rename LambdaOver{Type,Term}s to {Type,Term}Lambda
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/TyperState.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/core/TyperState.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/TyperState.scala b/compiler/src/dotty/tools/dotc/core/TyperState.scala index 08bef86b7..b33b3aa29 100644 --- a/compiler/src/dotty/tools/dotc/core/TyperState.scala +++ b/compiler/src/dotty/tools/dotc/core/TyperState.scala @@ -155,14 +155,14 @@ extends TyperState(r) { } override def gc()(implicit ctx: Context): Unit = { - val toCollect = new mutable.ListBuffer[PolyType] + val toCollect = new mutable.ListBuffer[TypeLambda] constraint foreachTypeVar { tvar => if (!tvar.inst.exists) { val inst = instType(tvar) if (inst.exists && (tvar.owningState eq this)) { tvar.inst = inst - val poly = tvar.origin.binder - if (constraint.isRemovable(poly)) toCollect += poly + val lam = tvar.origin.binder + if (constraint.isRemovable(lam)) toCollect += lam } } } |