diff options
author | Martin Odersky <odersky@gmail.com> | 2006-10-20 14:33:45 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-10-20 14:33:45 +0000 |
commit | 118050a7d77441a2f13c20afac174a900593cea4 (patch) | |
tree | 16d25e0a6d723f2fe26685752d349bd940cf0381 | |
parent | f9e5afd36a8a241abc86c80197d8fbe10488280e (diff) | |
download | scala-118050a7d77441a2f13c20afac174a900593cea4.tar.gz scala-118050a7d77441a2f13c20afac174a900593cea4.tar.bz2 scala-118050a7d77441a2f13c20afac174a900593cea4.zip |
fixed bug784
-rw-r--r-- | src/compiler/scala/tools/nsc/matching/PatternMatchers.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/compiler/scala/tools/nsc/matching/PatternMatchers.scala b/src/compiler/scala/tools/nsc/matching/PatternMatchers.scala index 145190f1ed..0292cec24c 100644 --- a/src/compiler/scala/tools/nsc/matching/PatternMatchers.scala +++ b/src/compiler/scala/tools/nsc/matching/PatternMatchers.scala @@ -1152,14 +1152,14 @@ trait PatternMatchers requires (transform.ExplicitOuter with PatternNodes) { if(outerAcc != NoSymbol) { // some guys don't have outers cond = And(cond, Eq(Apply(Select( - gen.mkAsInstanceOf(selector.duplicate, ntpe, true), outerAcc),List()), theRef)) + typed(gen.mkAsInstanceOf(selector.duplicate, ntpe, true)), outerAcc),List()), theRef)) } case _ => //ignore ; } } val succ = squeezedBlock(List(ValDef(casted, - gen.mkAsInstanceOf(selector.duplicate, ntpe, true))), + typed(gen.mkAsInstanceOf(selector.duplicate, ntpe, true)))), toTree(node.and)) val fail = toTree(node.or, selector.duplicate) @@ -1177,7 +1177,7 @@ trait PatternMatchers requires (transform.ExplicitOuter with PatternNodes) { val treeAsSeq = if(!isSubType(selector.tpe, ntpe)) - gen.mkAsInstanceOf(selector.duplicate, ntpe, true) + typed(gen.mkAsInstanceOf(selector.duplicate, ntpe, true)) else selector.duplicate @@ -1203,7 +1203,7 @@ trait PatternMatchers requires (transform.ExplicitOuter with PatternNodes) { val treeAsSeq = if(!isSubType(selector.tpe,ntpe)) - gen.mkAsInstanceOf(selector.duplicate, ntpe, true) + typed(gen.mkAsInstanceOf(selector.duplicate, ntpe, true)) else selector.duplicate |