diff options
| author | Martin Odersky <odersky@gmail.com> | 2008-09-04 17:05:28 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2008-09-04 17:05:28 +0000 |
| commit | 97db00dadafd438a7d69f9bc1e80dccf9dc41a37 (patch) | |
| tree | 80f077b6ee2275400353271c7c708a6f25952ff1 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | 3e0cd7e7488477e60eb8d12ffeea1b3dc02433a5 (diff) | |
| download | scala-97db00dadafd438a7d69f9bc1e80dccf9dc41a37.tar.gz scala-97db00dadafd438a7d69f9bc1e80dccf9dc41a37.tar.bz2 scala-97db00dadafd438a7d69f9bc1e80dccf9dc41a37.zip | |
disabled volatile checks because eclipse plugin...
disabled volatile checks because eclipse plugin build breaks.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 406e056128..ea7f9d447d 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -3290,11 +3290,8 @@ trait Typers { self: Analyzer => tree setType ref1.tpe.resultType case SelectFromTypeTree(qual, selector) => -/* maybe need to do this: - val res = typedSelect(typedType(qual, mode), selector) - tree setType res.tpe setSymbol res.symbol - res -*/ + val qual1 = typedType(qual, mode) + if (qual1.tpe.isVolatile) error(tree.pos, "illegal type selection from volatile type "+qual.tpe) typedSelect(typedType(qual, mode), selector) case CompoundTypeTree(templ) => |