test/files/run/macro-typecheck-macrosdisabled/Impls_Macros_1.scala


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.Context

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

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

  def foo_with_macros_enabled = macro impl_with_macros_enabled

  def impl_with_macros_disabled(c: Context) = {
    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), newTermName("reify")), List(Literal(Constant(2))))
    val ttree2 = c.typeCheck(tree2, withMacrosDisabled = true)
    c.literal(ttree2.toString)
  }

  def foo_with_macros_disabled = macro impl_with_macros_disabled
}