diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-17 15:51:19 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
| commit | 26497bb3c654e294a48db2098978bc77b11f2889 (patch) | |
| tree | fbb90b06c6ed29d87a9566bfc3b6b96b8a8035a0 /compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | d0823efe3ecdc0b38678e58e7de4cf2139cec847 (diff) | |
| download | dotty-26497bb3c654e294a48db2098978bc77b11f2889.tar.gz dotty-26497bb3c654e294a48db2098978bc77b11f2889.tar.bz2 dotty-26497bb3c654e294a48db2098978bc77b11f2889.zip | |
Rename PolyTypeTree -> LambdaTypeTree
Diffstat (limited to 'compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 488e66d8d..76bce7920 100644 --- a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -401,7 +401,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { toTextLocal(tpt) ~ " " ~ blockText(refines) case AppliedTypeTree(tpt, args) => toTextLocal(tpt) ~ "[" ~ Text(args map argText, ", ") ~ "]" - case PolyTypeTree(tparams, body) => + case LambdaTypeTree(tparams, body) => changePrec(GlobalPrec) { tparamsText(tparams) ~ " -> " ~ toText(body) } @@ -451,7 +451,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { (if (tree.hasType && ctx.settings.verbose.value) i"[decls = ${tree.symbol.info.decls}]" else "") case rhs: TypeBoundsTree => typeDefText(tparamsTxt, toText(rhs)) - case PolyTypeTree(tparams, body) => + case LambdaTypeTree(tparams, body) => recur(body, tparamsText(tparams)) case rhs => typeDefText(tparamsTxt, optText(rhs)(" = " ~ _)) |