summaryrefslogtreecommitdiff
path: root/test/files/run/macro-typecheck-macrosdisabled/Impls_Macros_1.scala
blob: 41e58e0e4d956bc868d43440765ba3063887a50b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
import scala.reflect.macros.BlackboxContext

object Macros {
  def impl_with_macros_enabled(c: BlackboxContext) = {
    import c.universe._

    val ru = Select(Select(Select(Select(Ident(TermName("scala")), TermName("reflect")), TermName("runtime")), TermName("package")), TermName("universe"))
    val tree1 = Apply(Select(ru, TermName("reify")), List(Literal(Constant(2))))
    val ttree1 = c.typeCheck(tree1, withMacrosDisabled = false)
    c.Expr[String](Literal(Constant(ttree1.toString)))
  }

  def foo_with_macros_enabled = macro impl_with_macros_enabled

  def impl_with_macros_disabled(c: BlackboxContext) = {
    import c.universe._

    val rupkg = c.mirror.staticModule("scala.reflect.runtime.package")
    val rusym = build.selectTerm(rupkg, "universe")
    val NullaryMethodType(rutpe) = rusym.typeSignature
    val ru = build.newFreeTerm("ru", scala.reflect.runtime.universe)
    build.setTypeSignature(ru, rutpe)

    val tree2 = Apply(Select(Ident(ru), TermName("reify")), List(Literal(Constant(2))))
    val ttree2 = c.typeCheck(tree2, withMacrosDisabled = true)
    c.Expr[String](Literal(Constant(ttree2.toString)))
  }

  def foo_with_macros_disabled = macro impl_with_macros_disabled
}