diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-16 18:52:37 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
| commit | 5811755f91d2bd501124922c0348923b430f0c49 (patch) | |
| tree | 28c099617473ad6237c2a06b147f292a5711deca /compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala | |
| parent | 31ab8804d611343eb3cf35e2c1b929d5b65a946e (diff) | |
| download | dotty-5811755f91d2bd501124922c0348923b430f0c49.tar.gz dotty-5811755f91d2bd501124922c0348923b430f0c49.tar.bz2 dotty-5811755f91d2bd501124922c0348923b430f0c49.zip | |
ParamType refactorings
Trying to bring PolyTypes closer to TypeLambdas
Diffstat (limited to 'compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala index d6b7adffe..f32d5294b 100644 --- a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala +++ b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala @@ -183,7 +183,7 @@ class PlainPrinter(_ctx: Context) extends Printer { toTextGlobal(tp.resultType) } case tp: PolyParam => - polyParamNameString(tp) ~ polyHash(tp.binder) + polyParamNameString(tp) ~ lambdaHash(tp.binder) case AnnotatedType(tpe, annot) => toTextLocal(tpe) ~ " " ~ toText(annot) case HKApply(tycon, args) => @@ -217,7 +217,7 @@ class PlainPrinter(_ctx: Context) extends Printer { protected def simpleNameString(sym: Symbol): String = nameString(sym.name) /** If -uniqid is set, the hashcode of the polytype, after a # */ - protected def polyHash(pt: PolyType): Text = + protected def lambdaHash(pt: LambdaType[_, _]): Text = if (ctx.settings.uniqid.value) "#" + pt.hashCode else "" /** If -uniqid is set, the unique id of symbol, after a # */ |