diff options
author | mihaylov <mihaylov@epfl.ch> | 2006-10-23 11:13:11 +0000 |
---|---|---|
committer | mihaylov <mihaylov@epfl.ch> | 2006-10-23 11:13:11 +0000 |
commit | 54a3755e36a1e52ff367b0b27d6d27dc0578967c (patch) | |
tree | 94e70bddef3be21a647899012c15ab1c5cbb49f7 | |
parent | c5af8e01c6376c0fb80f0c53704c756baa015c06 (diff) | |
download | scala-54a3755e36a1e52ff367b0b27d6d27dc0578967c.tar.gz scala-54a3755e36a1e52ff367b0b27d6d27dc0578967c.tar.bz2 scala-54a3755e36a1e52ff367b0b27d6d27dc0578967c.zip |
Warn for Java annotations without -target:jvm-1...
Warn for Java annotations without -target:jvm-1.5 (bug #775)
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 6cabad4aa6..1027d71c5e 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -1257,6 +1257,9 @@ trait Typers requires Analyzer { attrError = true; } } + if (tpt.tpe.symbol.hasFlag(JAVA) && settings.target.value == "jvm-1.4") { + context.unit.warning (t.pos, "Java annotation will not be emitted in classfile unless you use the '-target:jvm-1.5' option") + } Triple(tpt.tpe, constrArgs, nvPairs) } } @@ -1634,7 +1637,7 @@ trait Typers requires Analyzer { /* if (namesSomeIdent(vble.name)) context.unit.warning(tree.pos, - "pattern variable "+vble.name+" shadows a value visible in the environment;\n"+ + "pattern variable"+vble.name+" shadows a value visible in the environment;\n"+ "use backquotes `"+vble.name+"` if you mean to match against that value;\n" + "or rename the variable or use an explicit bind "+vble.name+"@_ to avoid this warning.") */ |