From 03005a71d1bb6030e59bc5f5127b9a7befe2474b Mon Sep 17 00:00:00 2001
From: Sean McDirmid <sean.mcdirmid@gmail.com>
Date: Thu, 28 Feb 2008 13:37:19 +0000
Subject: Fixed bugs

---
 .../scala/tools/nsc/typechecker/IdeSupport.scala     | 20 +++++++++++++-------
 .../scala/tools/nsc/typechecker/Typers.scala         |  5 +++--
 2 files changed, 16 insertions(+), 9 deletions(-)

(limited to 'src')

diff --git a/src/compiler/scala/tools/nsc/typechecker/IdeSupport.scala b/src/compiler/scala/tools/nsc/typechecker/IdeSupport.scala
index 97484fbce4..f6a09e00b1 100644
--- a/src/compiler/scala/tools/nsc/typechecker/IdeSupport.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/IdeSupport.scala
@@ -34,9 +34,11 @@ trait IdeSupport extends Analyzer {
       object tpe0 extends LazyType with SimpleTypeProxy {
         override def underlying = tpe
         override def complete(sym0 : Symbol) : Unit = {
-          assert(sym eq sym0)
+          if (sym ne sym0) {
+            logError(sym + " "+sym.id + " vs. " + sym0.id + " we have a problem!", null)
+          }
           toComplete -= sym
-          val pos = sym.pos match {
+          val pos = sym0.pos match {
           case pos : TrackedPosition => pos
           }
           val oldType = oldTypeFor(sym0)
@@ -53,7 +55,7 @@ trait IdeSupport extends Analyzer {
               }
             case _=>
           }
-          assert(sym.rawInfo == this)
+          assert(sym0.rawInfo == this)
           val hadTypeErrors = pos.owner != null && pos.owner.hasTypeErrors
           if (pos.owner == null) underlying.complete(sym0) else pos.owner.activate(try {
             underlying.complete(sym0)
@@ -66,12 +68,12 @@ trait IdeSupport extends Analyzer {
             case (PolyType(xxx,_),PolyType(yyy,_)) if xxx != yyy =>
               val oldc = xxx
               val newc = yyy
-              Console.print("DIFF old=" + oldc.map(sym => sym + ":" + sym.pos).mkString("",",",""))
-              Console.println(" new=" + newc.map(sym => sym + ":" + sym.pos).mkString("",",",""))
+              Console.print("DIFF old=" + oldc.map(sym => sym0 + ":" + sym0.pos).mkString("",",",""))
+              Console.println(" new=" + newc.map(sym => sym0+ ":" + sym0.pos).mkString("",",",""))
             case _ =>
           }
 
-          if (!hadTypeErrors && pos.owner != null && pos.owner.hasTypeErrors) pos.owner.dirtyTyped
+          //if (!hadTypeErrors && pos.owner != null && pos.owner.hasTypeErrors) pos.owner.dirtyTyped
           if (pos.owner != null && pos.owner.hasTypeErrors) {
             // go back to original type.
             val oldType = oldTypeFor(sym0)
@@ -186,7 +188,7 @@ trait IdeSupport extends Analyzer {
           if (sym != tree.symbol) {
             assert(true)
             assert(true)
-            Console.println("SCREWED: " + sym + " vs. " + tree.symbol)
+            Console.println("SCREWED: " + sym + " " + sym.id + " vs. " + tree.symbol.id)
           }
           import symtab.Flags._
           val set = reuseMap.get(namer.context.scope.asInstanceOf[PersistentScope])
@@ -263,6 +265,10 @@ trait IdeSupport extends Analyzer {
         assert(sym == lastSymbol)
         use.last.symbol = lastSymbol
       }
+      if (lastSymbol != NoSymbol && lastSymbol != use.last.symbol) {
+        assert(true)
+        assert(true)
+      }
       use.last.symbol
     }
     def doTyper = if (typerTxt ne NoContext) updateTyper(newTyper(typerTxt), mode, pt)
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
index 290d603282..e7d18f5c6e 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
@@ -908,8 +908,9 @@ trait Typers { self: Analyzer =>
             }
 
             val outercontext = context.outer
-            val cbody2 = // called both during completion AND typing.
-              newTyper(outercontext.makeNewScope(constr, outercontext.owner)(ParentTypesScopeKind))
+            assert(clazz != NoSymbol)
+            val cscope = outercontext.makeNewScope(constr, outercontext.owner)(ParentTypesScopeKind(clazz))
+            val cbody2 = newTyper(cscope) // called both during completion AND typing.
                 .typePrimaryConstrBody(clazz,
                   cbody1, supertparams, clazz.unsafeTypeParams, vparamss map (_.map(_.duplicate)))
 
-- 
cgit v1.2.3