diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-04-11 09:52:19 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-11 09:52:19 +0200 |
| commit | 87608bded1fb23519a829fa7f6ee14d4b6a515dc (patch) | |
| tree | 7b0c89291126e89a901a8ab1230f874e26e25515 | |
| parent | bec4f9d2cbf7fe000efb849abd5d86a34a0a084a (diff) | |
| download | dotty-87608bded1fb23519a829fa7f6ee14d4b6a515dc.tar.gz dotty-87608bded1fb23519a829fa7f6ee14d4b6a515dc.tar.bz2 dotty-87608bded1fb23519a829fa7f6ee14d4b6a515dc.zip | |
Fix type error
| -rw-r--r-- | compiler/src/dotty/tools/dotc/printing/Formatting.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/printing/Formatting.scala b/compiler/src/dotty/tools/dotc/printing/Formatting.scala index aa25880c2..b35a07027 100644 --- a/compiler/src/dotty/tools/dotc/printing/Formatting.scala +++ b/compiler/src/dotty/tools/dotc/printing/Formatting.scala @@ -139,7 +139,7 @@ object Formatting { seen.record(super.ParamRefNameString(param), param) override def toTextRef(tp: SingletonType): Text = tp match { - case tp: SkolemType => seen.record(tp.repr, tp) + case tp: SkolemType => seen.record(tp.repr.toString, tp) case _ => super.toTextRef(tp) } } |