From e902d4a0486a66dd0dabd727c4fcc31da2468a9c Mon Sep 17 00:00:00 2001 From: Gilles Dubochet Date: Fri, 29 Feb 2008 16:17:49 +0000 Subject: Fixed issue #586. --- src/compiler/scala/tools/nsc/transform/CleanUp.scala | 10 +++++++--- test/files/pos/t0586.scala | 9 +++++++++ 2 files changed, 16 insertions(+), 3 deletions(-) create mode 100644 test/files/pos/t0586.scala diff --git a/src/compiler/scala/tools/nsc/transform/CleanUp.scala b/src/compiler/scala/tools/nsc/transform/CleanUp.scala index 20b1e0d664..526662013d 100644 --- a/src/compiler/scala/tools/nsc/transform/CleanUp.scala +++ b/src/compiler/scala/tools/nsc/transform/CleanUp.scala @@ -548,11 +548,15 @@ abstract class CleanUp extends Transform { val tempVar = currentOwner.newValue(theTry.pos, unit.fresh.newName("exceptionResult")) .setInfo(tpe).setFlag(Flags.MUTABLE) - val newBlock = Block(Nil, Assign(Ident(tempVar), transform(block))) + val newBlock = super.transform(Block(Nil, Assign(Ident(tempVar), transform(block)))) val newCatches = for (CaseDef(pattern, guard, body) <- catches) yield { - CaseDef(pattern, transform(guard), Block(Nil, Assign(Ident(tempVar), transform(body)))) + CaseDef( + super.transform(pattern), + super.transform(guard), + Block(Nil, Assign(Ident(tempVar), super.transform(body))) + ) } - val newTry = Try(newBlock, newCatches, finalizer) + val newTry = Try(newBlock, newCatches, super.transform(finalizer)) val res = Block(List(ValDef(tempVar, EmptyTree), newTry), Ident(tempVar)) localTyper.typed(res) diff --git a/test/files/pos/t0586.scala b/test/files/pos/t0586.scala new file mode 100644 index 0000000000..86115a77af --- /dev/null +++ b/test/files/pos/t0586.scala @@ -0,0 +1,9 @@ +object RClose { + type ReflectCloseable = { def close(): Unit } + def withReflectCloseable[T <: ReflectCloseable, R](s: T)(action: T => R): R = + try { + action(s) + } finally { + s.close() + } +} \ No newline at end of file -- cgit v1.2.3