zeptometer · April 1, 2023 10:56
diff --git a/app_2.scala b/app_2.scala
 def app = hoge((y) => y + 1) // expected true, but got false
diff --git a/macro_1.scala b/macro_1.scala
 inline def hoge(x: Int => Int) =
 ${ isLambda('x) }

 def isLambda(x: Expr[Int => Int])(using Quotes): Expr[Boolean] =
 x match
 case '{ (y : Int) => $f(y) : Int } => '{ true }
 case _ => '{ false }
	inline def hoge(x: Int => Int) =
	${ isLambda('x) }

	def isLambda(x: Expr[Int => Int])(using Quotes): Expr[Boolean] =
	x match
	case '{ (y : Int) => $f(y) : Int } => '{ true }
	case _ => '{ false }