diff options
author | Martin Odersky <odersky@gmail.com> | 2013-03-06 22:42:15 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-03-06 22:42:15 +0100 |
commit | 22fc38c4e062d299dc28fc429efdba4521db3651 (patch) | |
tree | e97873cacc8abbead4028ea7d2bfefb1063ec6bf /src/dotty/tools/dotc/core/Printers.scala | |
parent | 757bf2ecc0a5dc083f21f1dc6c9d22c3795f3790 (diff) | |
download | dotty-22fc38c4e062d299dc28fc429efdba4521db3651.tar.gz dotty-22fc38c4e062d299dc28fc429efdba4521db3651.tar.bz2 dotty-22fc38c4e062d299dc28fc429efdba4521db3651.zip |
Finished polishing of Types and TypeOps.
Manjor change is that splitArgs got eliminated and replaced by an optimized version of typeArgs.
Diffstat (limited to 'src/dotty/tools/dotc/core/Printers.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Printers.scala | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/core/Printers.scala b/src/dotty/tools/dotc/core/Printers.scala index 56f32f50d..761900c5c 100644 --- a/src/dotty/tools/dotc/core/Printers.scala +++ b/src/dotty/tools/dotc/core/Printers.scala @@ -416,10 +416,11 @@ object Printers { try { tp match { case tp: RefinedType => - val (tycon, args) = tp.splitArgs + val args = tp.typeArgs if (args.nonEmpty) { - if (tycon.typeParams.length == args.length) { - val cls = tycon.typeSymbol + val tycon = tp.unrefine + val cls = tycon.typeSymbol + if (cls.typeParams.length == args.length) { if (cls == defn.RepeatedParamClass) return showLocal(args.head) + "*" if (cls == defn.ByNameParamClass) return "=> " + showGlobal(args.head) if (defn.FunctionClasses contains cls) return showFunction(args) |