diff options
| author | liu fengyun <liu@fengy.me> | 2017-04-06 15:40:18 +0200 |
|---|---|---|
| committer | liu fengyun <liu@fengy.me> | 2017-04-06 15:40:18 +0200 |
| commit | 473e7fc70a0c735d454c26aae5f2789b7fd66272 (patch) | |
| tree | c1c0081f71cbb3711712396e5e99f25ae27af55e | |
| parent | 0c4a06f8409feac5ba99c0a8961210225dbd4936 (diff) | |
| download | dotty-473e7fc70a0c735d454c26aae5f2789b7fd66272.tar.gz dotty-473e7fc70a0c735d454c26aae5f2789b7fd66272.tar.bz2 dotty-473e7fc70a0c735d454c26aae5f2789b7fd66272.zip | |
remove obsolete code
| -rw-r--r-- | compiler/src/dotty/tools/dotc/transform/patmat/Space.scala | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala index 41196014e..d76ad2b64 100644 --- a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala +++ b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala @@ -395,15 +395,6 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic { } } - // simplify p.Case$.This.m => p.Case.m - def simplifyPrefix(tp: Type): Type = tp match { - case tp @ ThisType(mcls: TypeRef) if mcls.symbol.sourceModule.exists => - TermRef(simplifyPrefix(mcls.prefix), mcls.symbol.sourceModule.asTerm) - case tp @ TypeRef(prefix, _) => tp.derivedSelect(simplifyPrefix(prefix)) - case tp @ TermRef(prefix, _) => tp.derivedSelect(simplifyPrefix(prefix)) - case _ => tp - } - /** Refine tp2 based on tp1 * * E.g. if `tp1` is `Option[Int]`, `tp2` is `Some`, then return |