diff options
author | odersky <odersky@gmail.com> | 2017-04-11 11:49:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-11 11:49:40 +0200 |
commit | 579571e05a08120133173933e7eaf2555846d1d7 (patch) | |
tree | 7b0c89291126e89a901a8ab1230f874e26e25515 /compiler/src/dotty/tools/dotc/printing/Formatting.scala | |
parent | 4ff656138a2e4e127b763adeee3f0f72d515f6b6 (diff) | |
parent | 87608bded1fb23519a829fa7f6ee14d4b6a515dc (diff) | |
download | dotty-579571e05a08120133173933e7eaf2555846d1d7.tar.gz dotty-579571e05a08120133173933e7eaf2555846d1d7.tar.bz2 dotty-579571e05a08120133173933e7eaf2555846d1d7.zip |
Merge pull request #2128 from dotty-staging/add-semantic-names
Delay name mangling
Diffstat (limited to 'compiler/src/dotty/tools/dotc/printing/Formatting.scala')
-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) } } |