aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/transform/UncurryTreeTransform.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/transform/UncurryTreeTransform.scala')
-rw-r--r--src/dotty/tools/dotc/transform/UncurryTreeTransform.scala46
1 files changed, 0 insertions, 46 deletions
diff --git a/src/dotty/tools/dotc/transform/UncurryTreeTransform.scala b/src/dotty/tools/dotc/transform/UncurryTreeTransform.scala
deleted file mode 100644
index cf7668079..000000000
--- a/src/dotty/tools/dotc/transform/UncurryTreeTransform.scala
+++ /dev/null
@@ -1,46 +0,0 @@
-package dotty.tools.dotc
-package transform
-
-import TreeTransforms._
-import core.DenotTransformers._
-import core.Denotations._
-import core.SymDenotations._
-import core.Contexts._
-import core.Types._
-import core.Symbols._
-import ast.Trees._
-import ast.tpd.{Apply, Tree, cpy}
-
-class UncurryTreeTransform extends MiniPhaseTransform with InfoTransformer {
-
- override def name: String = "uncurry"
- override def transformApply(tree: Apply)(implicit ctx: Context, info: TransformerInfo): Tree =
- ctx.traceIndented(s"transforming ${tree.show}", show = true) {
- tree.fun match {
- case Apply(fn, args) =>
- def showType(implicit ctx: Context) =
- ctx.log(s"at ${ctx.phase} ${fn.symbol} has type ${fn.symbol.info.widen.show}")
- showType
- ctx.atNextPhase(showType(_))
- showType
- cpy.Apply(tree)(tree.fun, args ++ tree.args)
- case _ => tree
- }}
-
- def uncurry(tp: Type)(implicit ctx: Context): Type = tp match {
- case tp @ MethodType(pnames1, ptypes1) =>
- tp.resultType match {
- case rt @ MethodType(pnames2, ptypes2) =>
- tp.derivedMethodType(pnames1 ++ pnames2, ptypes1 ++ ptypes2, rt.resultType)
- case _ =>
- tp
- }
- case tp: PolyType =>
- tp.derivedPolyType(tp.paramNames, tp.paramBounds, uncurry(tp.resultType))
- case _ =>
- tp
- }
-
- def transformInfo(tp: Type, sym: Symbol)(implicit ctx: Context): Type =
- uncurry(tp)
-} \ No newline at end of file