diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-03 09:45:54 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:21 +0100 |
commit | 56e63ed4b081c0e4696a475aa4a468baa6491e4a (patch) | |
tree | a3f082105efea0e24bfd2d599d316e75caf3fb03 /src/dotty/tools/dotc/printing/PlainPrinter.scala | |
parent | 261087a97fc981dbc5cd2c57eab736aca668c3bc (diff) | |
download | dotty-56e63ed4b081c0e4696a475aa4a468baa6491e4a.tar.gz dotty-56e63ed4b081c0e4696a475aa4a468baa6491e4a.tar.bz2 dotty-56e63ed4b081c0e4696a475aa4a468baa6491e4a.zip |
Don't recognize type bounds as lambda abstractions
Printing bounds omits the "<:" otherwise.
Diffstat (limited to 'src/dotty/tools/dotc/printing/PlainPrinter.scala')
-rw-r--r-- | src/dotty/tools/dotc/printing/PlainPrinter.scala | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/printing/PlainPrinter.scala b/src/dotty/tools/dotc/printing/PlainPrinter.scala index 4f92f836c..857a32ccc 100644 --- a/src/dotty/tools/dotc/printing/PlainPrinter.scala +++ b/src/dotty/tools/dotc/printing/PlainPrinter.scala @@ -266,12 +266,13 @@ class PlainPrinter(_ctx: Context) extends Printer { homogenize(tp) match { case tp @ TypeBounds(lo, hi) => if (lo eq hi) { - val eql = - if (tp.variance == 1) " =+ " - else if (tp.variance == -1) " =- " - else " = " + val eql = + if (tp.variance == 1) " =+ " + else if (tp.variance == -1) " =- " + else " = " eql ~ toText(lo) - } else + } + else (if (lo isRef defn.NothingClass) Text() else " >: " ~ toText(lo)) ~ (if (hi isRef defn.AnyClass) Text() else " <: " ~ toText(hi)) case tp @ ClassInfo(pre, cls, cparents, decls, selfInfo) => |