Merge pull request #1511 from dotty-staging/fix-1510

odersky · web-flow · commit 78a4ff430c4e · 2016-09-16T19:56:24.000+03:00
Fix #1510: Fix error message when abstract member not implemented.
diff --git a/src/dotty/tools/dotc/typer/RefChecks.scala b/src/dotty/tools/dotc/typer/RefChecks.scala
@@ -525,7 +525,7 @@ object RefChecks {
                         subclassMsg(concreteSym, abstractSym)
                       else ""
 
-                    undefined(s"\n(Note that $pa does not match $pc$addendum)")
+                    undefined(s"\n(Note that ${pa.show} does not match ${pc.show}$addendum)")
                   case xs =>
                     undefined(s"\n(The class implements a member with a different type: ${concrete.showDcl})")
                 }

Original file line number	Diff line number	Diff line change
`@@ -525,7 +525,7 @@ object RefChecks {`
`525`	`525`	`subclassMsg(concreteSym, abstractSym)`
`526`	`526`	`else ""`
`527`	`527`
`528`		`- undefined(s"\n(Note that $pa does not match $pc$addendum)")`
	`528`	`+ undefined(s"\n(Note that ${pa.show} does not match ${pc.show}$addendum)")`
`529`	`529`	`case xs =>`
`530`	`530`	`undefined(s"\n(The class implements a member with a different type: ${concrete.showDcl})")`
`531`	`531`	`}`