diff options
author | Martin Odersky <odersky@gmail.com> | 2007-02-07 18:30:46 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-02-07 18:30:46 +0000 |
commit | 67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70 (patch) | |
tree | de57c9ef5cba16ea71ded0c3c20118ae74006873 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | 9be1288dec994c96ab4619b7e3ffb096664ba01a (diff) | |
download | scala-67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70.tar.gz scala-67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70.tar.bz2 scala-67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70.zip |
changed non-exhaustivity to attributes
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 6dfba7ace7..0c1df47925 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -616,7 +616,7 @@ abstract class RefChecks extends InfoTransform { Select(qual, nme.filter), List(Function( List(ValDef(_, pname, tpt, _)), - Match(_, CaseDef(pat1, _, _) :: _, _)))) + Match(_, CaseDef(pat1, _, _) :: _)))) if ((pname startsWith nme.CHECK_IF_REFUTABLE_STRING) && isIrrefutable(pat1, tpt.tpe)) => result = qual |