Skip to content

Commit 9230527

Browse files
committed
Provide a simple implementation of transformTry for backend.
Will need to revisit it later in order to generate faster code.
1 parent be18b80 commit 9230527

File tree

1 file changed

+14
-1
lines changed

1 file changed

+14
-1
lines changed

src/dotty/tools/dotc/transform/PatternMatcher.scala

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ import core.Symbols._
99
import core.Types._
1010
import core.Constants._
1111
import core.StdNames._
12-
import dotty.tools.dotc.ast.{TreeTypeMap, tpd}
12+
import dotty.tools.dotc.ast.{untpd, TreeTypeMap, tpd}
1313
import dotty.tools.dotc.core
1414
import dotty.tools.dotc.core.DenotTransformers.DenotTransformer
1515
import dotty.tools.dotc.core.Phases.Phase
@@ -52,6 +52,19 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans
5252
translated.ensureConforms(tree.tpe)
5353
}
5454

55+
56+
override def transformTry(tree: tpd.Try)(implicit ctx: Context, info: TransformerInfo): tpd.Tree = {
57+
val selector =
58+
ctx.newSymbol(ctx.owner, ctx.freshName("ex").toTermName, Flags.Synthetic, defn.ThrowableType, coord = tree.pos)
59+
val sel = Ident(selector.termRef).withPos(tree.pos)
60+
val rethrow = tpd.CaseDef(sel, EmptyTree, Throw(ref(selector)))
61+
val newCases = tpd.CaseDef(
62+
Bind(selector,untpd.Ident(nme.WILDCARD).withPos(tree.pos).withType(selector.info)),
63+
EmptyTree,
64+
transformMatch(tpd.Match(sel, tree.cases ::: rethrow :: Nil)))
65+
cpy.Try(tree)(tree.expr, newCases :: Nil, tree.finalizer)
66+
}
67+
5568
class Translator(implicit ctx: Context) {
5669

5770
def translator = {

0 commit comments

Comments
 (0)