Merge pull request #3534 from dotty-staging/fix-verify-signature

smarter · web-flow · commit 257f0884c4c2 · 2017-11-23T17:06:46.000+01:00
-Xverify-signatures: emit errors, not warnings
diff --git a/compiler/src/dotty/tools/backend/jvm/DottyBackendInterface.scala b/compiler/src/dotty/tools/backend/jvm/DottyBackendInterface.scala
@@ -522,8 +522,8 @@ class DottyBackendInterface(outputDirectory: AbstractFile, val superCallsMap: Ma
       }
     }
 
-    if(!valid) {
-      ctx.warning(
+    if (!valid) {
+      ctx.error(
         i"""|compiler bug: created invalid generic signature for $sym in ${sym.denot.owner.showFullName}
             |signature: $sig
             |if this is reproducible, please report bug at https://github.com/lampepfl/dotty/issues

Original file line number	Diff line number	Diff line change
`@@ -522,8 +522,8 @@ class DottyBackendInterface(outputDirectory: AbstractFile, val superCallsMap: Ma`
`522`	`522`	`}`
`523`	`523`	`}`
`524`	`524`
`525`		`- if(!valid) {`
`526`		`- ctx.warning(`
	`525`	`+ if (!valid) {`
	`526`	`+ ctx.error(`
`527`	`527`	`i"""\|compiler bug: created invalid generic signature for $sym in ${sym.denot.owner.showFullName}`
`528`	`528`	`\|signature: $sig`
`529`	`529`	`\|if this is reproducible, please report bug at https://github.com/lampepfl/dotty/issues`