diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-15 12:26:04 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-15 12:26:04 +0100 |
commit | 99393624e3bf001a6c20c7615ac88ef4201a93f8 (patch) | |
tree | 1f3a8800364fcfb1001b08a335acdfe8fa288c01 /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
parent | 01db9a68e5e68f08c8236c23c905009789d51587 (diff) | |
download | dotty-99393624e3bf001a6c20c7615ac88ef4201a93f8.tar.gz dotty-99393624e3bf001a6c20c7615ac88ef4201a93f8.tar.bz2 dotty-99393624e3bf001a6c20c7615ac88ef4201a93f8.zip |
Fixes related to SAM types.
1. Changes to SAMType extractor
2. Self names are no longer members of enclosing class
3. SAM-Type closures now print with their result type.
4. refactoring newSkolemSingleon ==> narrow
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
-rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 9fc8cb513..d652feb51 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -201,9 +201,9 @@ 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, target) => "closure(" ~ (toTextGlobal(env, ", ") ~ " | " provided env.nonEmpty) ~ - toTextGlobal(ref) ~ ")" + toTextGlobal(ref) ~ (":" ~ toText(target) provided !target.isEmpty) ~ ")" case Match(sel, cases) => if (sel.isEmpty) blockText(cases) else changePrec(GlobalPrec) { toText(sel) ~ " match " ~ blockText(cases) } |