diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-03-31 15:04:41 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-04-02 11:33:28 +0200 |
| commit | 959c8d0cd1d4003ab28ba88bf05854682d32d17d (patch) | |
| tree | f28f9d853f913b9dd8e9de68fe2c30ca41f8e58f /src/dotty/tools/dotc/core/Contexts.scala | |
| parent | ea5acb56754e26585d2e17080c35a027988660e9 (diff) | |
| download | dotty-959c8d0cd1d4003ab28ba88bf05854682d32d17d.tar.gz dotty-959c8d0cd1d4003ab28ba88bf05854682d32d17d.tar.bz2 dotty-959c8d0cd1d4003ab28ba88bf05854682d32d17d.zip | |
Intercepted methods transformer
Replace member references for:
methods inside Any( == and !=)
## on primitives
.getClass on primitives
Diffstat (limited to 'src/dotty/tools/dotc/core/Contexts.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Contexts.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Contexts.scala b/src/dotty/tools/dotc/core/Contexts.scala index b0214a631..d6852fe13 100644 --- a/src/dotty/tools/dotc/core/Contexts.scala +++ b/src/dotty/tools/dotc/core/Contexts.scala @@ -205,7 +205,8 @@ object Contexts { final def withPhase(phase: Phase): Context = withPhase(phase.id) - /** If -Ydebug is on, the top of the stack trace where this context + + /** If -Ydebug is on, the top of the stack trace where this context * was created, otherwise `null`. */ private var creationTrace: Array[StackTraceElement] = _ @@ -298,6 +299,7 @@ object Contexts { setCreationTrace() this } + /** A fresh clone of this context. */ def fresh: FreshContext = clone.asInstanceOf[FreshContext].init(this) |