diff options
| author | Martin Odersky <odersky@gmail.com> | 2007-02-08 09:48:46 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2007-02-08 09:48:46 +0000 |
| commit | f045549b48e6e22a1f705a2b913f1e3c8d5f68e8 (patch) | |
| tree | a529591462a44dbbe9c05e527bd531958faf9d2e /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | 67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70 (diff) | |
| download | scala-f045549b48e6e22a1f705a2b913f1e3c8d5f68e8.tar.gz scala-f045549b48e6e22a1f705a2b913f1e3c8d5f68e8.tar.bz2 scala-f045549b48e6e22a1f705a2b913f1e3c8d5f68e8.zip | |
changed exhaustivity check suppression to attri...
changed exhaustivity check suppression to attribute.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -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 9b905f6319..dff9b8d6c2 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2140,7 +2140,7 @@ trait Typers requires Analyzer { case Typed(expr, tpt) => val tpt1 = typedType(tpt) - val expr1 = typed(expr, mode & stickyModes, tpt1.tpe) + val expr1 = typed(expr, mode & stickyModes, tpt1.tpe.deconst) val owntype = if ((mode & PATTERNmode) != 0) inferTypedPattern(tpt1.pos, tpt1.tpe, widen(pt)) else tpt1.tpe //Console.println(typed pattern: "+tree+":"+", tp = "+tpt1.tpe+", pt = "+pt+" ==> "+owntype)//DEBUG copy.Typed(tree, expr1, tpt1) setType owntype |