diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-09-23 12:32:17 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-09-23 12:32:17 +0200 |
commit | 2b52e9ccbf0427f7b9e4d5f61f1df8b4fb5d3f24 (patch) | |
tree | 060d86dcd54ce049598b683d9175d487f7feae5f /src/dotty/tools | |
parent | 9b576c2c1c36003e0ca0a760c36aae028991400f (diff) | |
download | dotty-2b52e9ccbf0427f7b9e4d5f61f1df8b4fb5d3f24.tar.gz dotty-2b52e9ccbf0427f7b9e4d5f61f1df8b4fb5d3f24.tar.bz2 dotty-2b52e9ccbf0427f7b9e4d5f61f1df8b4fb5d3f24.zip |
@odersky have a look.
testOnly dotc.tests
Diffstat (limited to 'src/dotty/tools')
-rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 2 | ||||
-rw-r--r-- | src/dotty/tools/dotc/config/Printers.scala | 4 | ||||
-rw-r--r-- | src/dotty/tools/dotc/transform/PatternMatcher.scala | 3 |
3 files changed, 5 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 6360e080f..353ec1dce 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -27,7 +27,7 @@ object Config { /** Show subtype traces for all deep subtype recursions */ final val traceDeepSubTypeRecursions = false - final val verboseExplainSubtype = false + final val verboseExplainSubtype = true /** When set, use new signature-based matching. * Advantantage of doing so: It's supposed to be faster diff --git a/src/dotty/tools/dotc/config/Printers.scala b/src/dotty/tools/dotc/config/Printers.scala index 3926be59b..be91455ad 100644 --- a/src/dotty/tools/dotc/config/Printers.scala +++ b/src/dotty/tools/dotc/config/Printers.scala @@ -12,13 +12,13 @@ object Printers { val default: Printer = new Printer val core: Printer = noPrinter - val typr: Printer = noPrinter + val typr: Printer = new Printer val constr: Printer = noPrinter val checks: Printer = noPrinter val overload: Printer = noPrinter val implicits: Printer = noPrinter val implicitsDetailed: Printer = noPrinter - val subtyping: Printer = noPrinter + val subtyping: Printer = new Printer val unapp: Printer = noPrinter val completions = noPrinter val gadts = noPrinter diff --git a/src/dotty/tools/dotc/transform/PatternMatcher.scala b/src/dotty/tools/dotc/transform/PatternMatcher.scala index e7a5e9cd5..1aebb7b3f 100644 --- a/src/dotty/tools/dotc/transform/PatternMatcher.scala +++ b/src/dotty/tools/dotc/transform/PatternMatcher.scala @@ -1855,7 +1855,8 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans def unapplyMethodTypes(tree:Tree, fun: Tree, args:List[Tree], resultType:Type, isSeq: Boolean): Extractor = { _id = _id + 1 - val whole = fun.tpe.widen.paramTypess.headOption.flatMap(_.headOption).getOrElse(NoType)//firstParamType(method) + val whole = tree.tpe// see scaladoc for Trees.Unapply + // fun.tpe.widen.paramTypess.headOption.flatMap(_.headOption).getOrElse(NoType)//firstParamType(method) val resultOfGet = extractorMemberType(resultType, nme.get) //println(s"${_id}unapplyArgs(${result.widen}") |