diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-04-18 17:43:40 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:48:08 +0200 |
| commit | 9203e01ddd141ddbb96e3064be5e894ddb666fd8 (patch) | |
| tree | e3de1ec438114c366e4c28ed9cb46c5df94e4deb | |
| parent | 861f10b72e2a6332f8919f6880604bdc49cc3bca (diff) | |
| download | dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.tar.gz dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.tar.bz2 dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.zip | |
Some more debug info.
| -rw-r--r-- | src/dotty/tools/dotc/core/Denotations.scala | 2 | ||||
| -rw-r--r-- | src/dotty/tools/dotc/transform/Erasure.scala | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala index e5f5e6f87..9eab2bd04 100644 --- a/src/dotty/tools/dotc/core/Denotations.scala +++ b/src/dotty/tools/dotc/core/Denotations.scala @@ -600,7 +600,7 @@ object Denotations { case denot: SymDenotation => s"in ${denot.owner}" case _ => "" } - def msg = s"stale symbol; $this#${symbol.id} $ownerMsg, defined in run ${myValidFor.runId}, is referred to in run ${ctx.runId}" + def msg = s"stale symbol; $this#${symbol.id} $ownerMsg, defined in ${myValidFor}, is referred to in run ${ctx.period}" throw new StaleSymbol(msg) } diff --git a/src/dotty/tools/dotc/transform/Erasure.scala b/src/dotty/tools/dotc/transform/Erasure.scala index 9473bf10a..e6d012d68 100644 --- a/src/dotty/tools/dotc/transform/Erasure.scala +++ b/src/dotty/tools/dotc/transform/Erasure.scala @@ -198,7 +198,7 @@ object Erasure { */ override def typedSelect(tree: untpd.Select, pt: Type)(implicit ctx: Context): Tree = { val sym = tree.symbol - assert(sym.exists) + assert(sym.exists, tree.show) def select(qual: Tree, sym: Symbol): Tree = untpd.cpy.Select(tree, qual, sym.name) withType qual.tpe.select(sym) @@ -245,6 +245,8 @@ object Erasure { case mt: MethodType => val args1 = args.zipWithConserve(mt.paramTypes)(typedExpr) untpd.cpy.Apply(tree, fun1, args1) withType mt.resultType + case _ => + throw new MatchError(i"tree $tree has uxpected type of function ${fun1.tpe.widen}, was ${fun.typeOpt.widen}") } } |