summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorburaq <buraq@epfl.ch>2005-02-21 13:56:00 +0000
committerburaq <buraq@epfl.ch>2005-02-21 13:56:00 +0000
commit4fccc2395b6610c4590da89c6253d48ae2e8b854 (patch)
tree917bf97ed237a329a81a72c2258dd3a8e14bc7b4
parent737ceb1e9a0d4f6580742c7d8d038b196270c2ce (diff)
downloadscala-4fccc2395b6610c4590da89c6253d48ae2e8b854.tar.gz
scala-4fccc2395b6610c4590da89c6253d48ae2e8b854.tar.bz2
scala-4fccc2395b6610c4590da89c6253d48ae2e8b854.zip
optimized refcheck: is identity on patterns
-rwxr-xr-xsources/scala/tools/scalac/typechecker/RefCheck.scala4
1 files changed, 4 insertions, 0 deletions
diff --git a/sources/scala/tools/scalac/typechecker/RefCheck.scala b/sources/scala/tools/scalac/typechecker/RefCheck.scala
index 52733ed965..f4e69c353f 100755
--- a/sources/scala/tools/scalac/typechecker/RefCheck.scala
+++ b/sources/scala/tools/scalac/typechecker/RefCheck.scala
@@ -1097,6 +1097,10 @@ class RefCheck(globl: scalac.Global) extends Transformer(globl) {
}
super.transform(tree)
+ // optimized, buraq 2005-02-21 [RefCheck is identity on patterns]
+ case Tree.CaseDef(pat, guard, body)=>
+ copy.CaseDef(tree, pat, transform(guard), transform(body));
+
case Tree$Apply(fn, args) =>
// convert case methods to new's
val fsym = TreeInfo.methSymbol(fn);