diff options
author | Martin Odersky <odersky@gmail.com> | 2007-03-06 17:49:11 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-03-06 17:49:11 +0000 |
commit | b0d5f492099e59d51098de67f404f4e918b325a2 (patch) | |
tree | 9fa4dfb81bd814fd2cbb7a39cd58bbd8a75ed7c4 /src | |
parent | 4ba667134f2a190087675c625fa9d91607fe3231 (diff) | |
download | scala-b0d5f492099e59d51098de67f404f4e918b325a2.tar.gz scala-b0d5f492099e59d51098de67f404f4e918b325a2.tar.bz2 scala-b0d5f492099e59d51098de67f404f4e918b325a2.zip |
modification to enable annotated types only whe...
modification to enable annotated types only when -Xplugtypes is set
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index c439f19dbd..f8698511ef 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -1981,7 +1981,7 @@ trait Typers requires Analyzer { TypeTree(arg1.tpe.withAttribute(ainfo)) setOriginal tree if (arg1.isType) { val annotInfo = typedAnnotation(annot, identity[Tree]) - annotTypeTree(annotInfo) + if (settings.Xplugtypes.value) annotTypeTree(annotInfo) else arg1 } else { val annotInfo = typedAnnotation(annot, getConstant) arg1 match { |