diff options
author | Martin Odersky <odersky@gmail.com> | 2013-10-12 12:58:30 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-10-12 12:58:30 +0200 |
commit | 54a1bce87b4682ccfb97504e2daa7c36cbf207b2 (patch) | |
tree | 5ff7f54b0a8543c289abf295cf9a9f503582a9a1 /src/dotty/tools/dotc/printing | |
parent | b4c0e4af5ef03384f24e370059724be7c1ca6fb3 (diff) | |
download | dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.tar.gz dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.tar.bz2 dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.zip |
Tightening up typer state + printing refinements
1) Made consistency checking water tight, so that inconsistencies are always catched wehn they arise
2) Fixed problem in implicit search that led to inconsistencies
3) Refined printing of type parameters and type arguments
Diffstat (limited to 'src/dotty/tools/dotc/printing')
-rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index bad2c071e..46a272c70 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -98,7 +98,12 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { return (toTextLocal(tycon) ~ "[" ~ toTextGlobal(args, ", ") ~ "]").close } case tp @ TypeRef(pre, name) => - if (tp.symbol is TypeParam) return nameString(tp.symbol) + if (tp.symbol is TypeParam | TypeArgument) { + return tp.info match { + case TypeAlias(hi) => toText(hi) + case _ => nameString(tp.symbol) + } + } case _ => } super.toText(tp) |