diff options
| author | Edmund Noble <Edmund Noble> | 2017-02-07 16:12:12 -0500 |
|---|---|---|
| committer | Edmund Noble <Edmund Noble> | 2017-02-07 16:12:12 -0500 |
| commit | 466e52ba58604720b2dee35358d6b3545981b5b5 (patch) | |
| tree | 950945a43f0f69cc3a7fd8fd0e10dec9951150f4 /src | |
| parent | d1fc98370ad59518de96ae52e035e36b145180e2 (diff) | |
| download | scala-466e52ba58604720b2dee35358d6b3545981b5b5.tar.gz scala-466e52ba58604720b2dee35358d6b3545981b5b5.tar.bz2 scala-466e52ba58604720b2dee35358d6b3545981b5b5.zip | |
Match error lengths
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/TypeDiagnostics.scala | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/TypeDiagnostics.scala b/src/compiler/scala/tools/nsc/typechecker/TypeDiagnostics.scala index b628606897..36b9a65334 100644 --- a/src/compiler/scala/tools/nsc/typechecker/TypeDiagnostics.scala +++ b/src/compiler/scala/tools/nsc/typechecker/TypeDiagnostics.scala @@ -308,8 +308,11 @@ trait TypeDiagnostics { !found.typeSymbol.isTypeParameterOrSkolem && !req.typeSymbol.isTypeParameterOrSkolem if (easilyMistakable) { - ";\n found : " + (foundWiden.nameAndArgsString + s" (in ${found.prefix.typeSymbol.fullNameString}) ") + explainAlias(found) + - "\n required: " + (reqWiden.nameAndArgsString + s" (in ${req.prefix.typeSymbol.fullNameString}) ") + explainAlias(req) + val longestNameLength = foundWiden.nameAndArgsString.length max reqWiden.nameAndArgsString.length + val paddedFoundName = foundWiden.nameAndArgsString.padTo(longestNameLength, ' ') + val paddedReqName = reqWiden.nameAndArgsString.padTo(longestNameLength, ' ') + ";\n found : " + (paddedFoundName + s" (in ${found.prefix.typeSymbol.fullNameString}) ") + explainAlias(found) + + "\n required: " + (paddedReqName + s" (in ${req.prefix.typeSymbol.fullNameString}) ") + explainAlias(req) } else { def baseMessage = { ";\n found : " + found.toLongString + existentialContext(found) + explainAlias(found) + |