From 58059264842fac39a27356d052680a09c2da7571 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 16 Dec 2013 16:08:26 +0100
Subject: Checking for double definitions among class definitions.

Also fixes to typedReturn.

Adapted tests accordingly.
---
 src/dotty/tools/dotc/core/Denotations.scala | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/dotty/tools/dotc/core/Denotations.scala')

diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala
index c0b805eeb..f21075f11 100644
--- a/src/dotty/tools/dotc/core/Denotations.scala
+++ b/src/dotty/tools/dotc/core/Denotations.scala
@@ -359,7 +359,13 @@ object Denotations {
     final def signature(implicit ctx: Context): Signature = {
       if (isType) Signature.NotAMethod // don't force info if this is a type SymDenotation
       else info match {
-        case info: SignedType => info.signature
+        case info: SignedType =>
+          try info.signature
+          catch { // !!! DEBUG
+            case ex: MatchError =>
+              println(s"cannot take signature of ${info.show}")
+              throw ex
+          }
         case _ => Signature.NotAMethod
       }
     }
-- 
cgit v1.2.3