diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2015-05-23 16:30:28 +0200 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2015-05-23 16:30:28 +0200 |
| commit | d7224353811b6acbd3f5171976215e143eee9f72 (patch) | |
| tree | 5a0b531edd09c840ba27d4655e701f6573cd8c83 | |
| parent | c8b16397e099cf0733ab142202d25ccf2b18c8e1 (diff) | |
| download | dotty-d7224353811b6acbd3f5171976215e143eee9f72.tar.gz dotty-d7224353811b6acbd3f5171976215e143eee9f72.tar.bz2 dotty-d7224353811b6acbd3f5171976215e143eee9f72.zip | |
Fix #597: Improve double def error message
| -rw-r--r-- | src/dotty/tools/dotc/typer/Checking.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Checking.scala b/src/dotty/tools/dotc/typer/Checking.scala index f28f3b09a..b2d368e8c 100644 --- a/src/dotty/tools/dotc/typer/Checking.scala +++ b/src/dotty/tools/dotc/typer/Checking.scala @@ -313,7 +313,7 @@ trait Checking { def ofType = if (decl.isType) "" else d": ${other.info}" def explanation = if (!decl.isRealMethod) "" - else "\n (both definitions have the same erased type signature)" + else "\n (the definitions have matching type signatures)" ctx.error(d"$decl is already defined as $other$ofType$explanation", decl.pos) } if (decl is Synthetic) doubleDefError(other, decl) |