blob: 152c92f254830bcf18dde991cc553f1e2ff9bd5f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
import scala.language.experimental.macros
import scala.reflect.macros.TypecheckException
import scala.reflect.macros.whitebox.Context
object Macros {
def typecheck_impl(c: Context)(code: c.Expr[String]): c.Expr[Option[String]] = {
import c.universe._
val Expr(Literal(Constant(codeStr: String))) = code
try {
c.typecheck(c.parse(codeStr))
c.Expr(q"None: Option[String]")
} catch {
case e: TypecheckException =>
c.Expr(q"Some(${ e.toString }): Option[String]")
}
}
def typecheck(code: String): Option[String] = macro typecheck_impl
}
|