diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-08-05 10:52:13 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-08-05 17:20:56 +0200 |
| commit | a326e86d7d8389e8049a77b2cd75458f4573e294 (patch) | |
| tree | c1daf83a17f692a722bf03eea84b8fb429e4579d /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | dbb4b3f7923427af4ba6e04f258309421d5ee1ab (diff) | |
| download | dotty-a326e86d7d8389e8049a77b2cd75458f4573e294.tar.gz dotty-a326e86d7d8389e8049a77b2cd75458f4573e294.tar.bz2 dotty-a326e86d7d8389e8049a77b2cd75458f4573e294.zip | |
Type checking function trees and closures.
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index a8c6d5bcf..75b3db186 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -167,7 +167,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { changePrec(GlobalPrec) { "if " ~ toText(cond) ~ (" then" provided !cond.isInstanceOf[Parens]) ~~ toText(thenp) ~ optText(elsep)(" else " ~ _) } - case Closure(env, ref) => + case Closure(env, ref, _) => if (env.isEmpty) toText(ref) else "closure<" ~ toTextGlobal(env, ", ") ~ " | " ~ toTextGlobal(ref) ~ ">" case Match(sel, cases) => |