Merge pull request #71 from odersky/fixes-for-transforms

Fixes for transforms

2 files changed, 17 insertions, 4 deletions

diff --git a/src/dotty/tools/dotc/Run.scala b/src/dotty/tools/dotc/Run.scala
index df7f433f9..160390c4f 100644
--- a/src/dotty/tools/dotc/Run.scala
+++ b/src/dotty/tools/dotc/Run.scala
@@ -30,8 +30,10 @@ class Run(comp: Compiler)(implicit ctx: Context) {
   def compileSources(sources: List[SourceFile]) = Stats.monitorHeartBeat {
     if (sources forall (_.exists)) {
       units = sources map (new CompilationUnit(_))
-      for (phase <- ctx.allPhases)
-        phase.runOn(units)
+      for (phase <- ctx.allPhases) {
+        if (!ctx.reporter.hasErrors)
+          phase.runOn(units)
+      }
     }
   }
 
diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala
index 00b6815e7..b185d15bf 100644
--- a/src/dotty/tools/dotc/core/Denotations.scala
+++ b/src/dotty/tools/dotc/core/Denotations.scala
@@ -2,13 +2,17 @@ package dotty.tools
 package dotc
 package core
 
-import SymDenotations.{ SymDenotation, NoDenotation }
+import SymDenotations.{ SymDenotation, ClassDenotation, NoDenotation }
 import Contexts.{Context, ContextBase}
 import Names.{Name, PreName}
 import Names.TypeName
 import Symbols.NoSymbol
 import Symbols._
-import Types._, Periods._, Flags._, Transformers._, Decorators._
+import Types._
+import Periods._
+import Flags._
+import Transformers._
+import Decorators._
 import transform.Erasure
 import printing.Texts._
 import printing.Printer
@@ -185,6 +189,9 @@ object Denotations {
     def requiredMethod(name: PreName)(implicit ctx: Context): TermSymbol =
       info.member(name.toTermName).requiredSymbol(_ is Method).asTerm
 
+    def requiredValue(name: PreName)(implicit ctx: Context): TermSymbol =
+      info.member(name.toTermName).requiredSymbol(_.info.isParameterless).asTerm
+
     /** The denotation that has a type matching `targetType` when seen
      *  as a member of type `site`, `NoDenotation` if none exists.
      */
@@ -514,6 +521,10 @@ object Denotations {
             if (next eq cur)
               startPid = cur.validFor.firstPhaseId
             else {
+              next match {
+                case next: ClassDenotation => next.resetFlag(Frozen)
+                case _ =>
+              }
               cur.nextInRun = next
               cur = next
             }