diff options
author | Paul Phillips <paulp@improving.org> | 2012-03-15 09:28:07 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-03-15 19:59:46 -0700 |
commit | acb2c851720141982514b11b4b34ba68dc868bf2 (patch) | |
tree | c6aa85586f6f673e5975266314cc613a7d36ed05 /src/compiler/scala/tools/nsc/typechecker/MethodSynthesis.scala | |
parent | 2dd0af0675ea0c4d696a46bf36d7bd9406a64cd0 (diff) | |
download | scala-acb2c851720141982514b11b4b34ba68dc868bf2.tar.gz scala-acb2c851720141982514b11b4b34ba68dc868bf2.tar.bz2 scala-acb2c851720141982514b11b4b34ba68dc868bf2.zip |
New option -Ypos-debug, and fixed range position breakage.
(Looks like there is more range position breakage yet, but
this gets the outermost layer.)
Channeling my struggles into a slightly easier future.
% scalac -Ypos-debug -d /tmp ./src/library/scala/Predef.scala
./src/library/scala/Predef.scala:222: warning: Positioned tree has unpositioned child in phase extmethods
def x = __resultOfEnsuring
^
parent: #7109 line 222 Select // (value __resultOfEnsuring in class Ensuring)
child: #7108 Ident // (value $this)
./src/library/scala/Predef.scala:258: warning: Positioned tree has unpositioned child in phase extmethods
def x = __leftOfArrow
^
parent: #7280 line 258 Select // (value __leftOfArrow in class ArrowAssoc)
child: #7279 Ident // (value $this)
two warnings found
Or try this to really see some output:
% scalac -Yrangepos -Ypos-debug
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/MethodSynthesis.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/MethodSynthesis.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/MethodSynthesis.scala b/src/compiler/scala/tools/nsc/typechecker/MethodSynthesis.scala index 088a56cd7b..f32ad9293c 100644 --- a/src/compiler/scala/tools/nsc/typechecker/MethodSynthesis.scala +++ b/src/compiler/scala/tools/nsc/typechecker/MethodSynthesis.scala @@ -69,6 +69,9 @@ trait MethodSynthesis { import synthesisUtil._ class ClassMethodSynthesis(val clazz: Symbol, localTyper: Typer) { + def mkThis = This(clazz) setPos clazz.pos.focus + def mkThisSelect(sym: Symbol) = atPos(clazz.pos.focus)(Select(mkThis, sym)) + private def isOverride(name: TermName) = clazzMember(name).alternatives exists (sym => !sym.isDeferred && (sym.owner != clazz)) |