blob: 0340facd1b856db800b26eb0fa9d6b261678e79a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
import scala.language.experimental.macros
import scala.reflect.macros.Context
class MacroErasure {
def app(f: Any => Any, x: Any): Any = macro MacroErasure.appMacro
def app[A](f: A => Any, x: Any): Any = macro MacroErasure.appMacroA[A]
}
object MacroErasure {
def appMacro(c: Context)(f: c.Expr[Any => Any], x: c.Expr[Any]): c.Expr[Any] = ???
def appMacroA[A](c: Context)(f: c.Expr[A => Any], x: c.Expr[Any])(implicit tt: c.WeakTypeTag[A]): c.Expr[Any] = ???
}
|
