scala - Scala: PartialFunction reify を使用して scala マクロを呼び出すと、「パラメーターの型がありません」

Question

コンパイラが「Missing parameter type」をスローしています。問題を解決した後、部分関数をチェーンするときに型を明示する必要があることに気付きました。そうしないと、コンパイラーが上記のエラーをスローします。さて、マクロの具体化内で部分関数をチェーンするときに問題があるかどうか知っていますか? 部分関数の型についてこれ以上明確にすることはできなかったと思います。

object Implementations{
      def missingParamType_impl(c: whitebox.Context)(a: c.Expr[Int]):c.Expr[PartialFunction[Int,String]] = {
        import c.universe._

        reify {
          val spliced = a.splice
          val spliced2 = a.splice * 2
          ((PartialFunction.apply[Int,String]{
            case `spliced` ⇒ a.splice.toString
          } : PartialFunction[Int,String]).orElse[Int,String]{
            case `spliced2` ⇒ a.splice.toString
          } : PartialFunction[Int,String]) : PartialFunction[Int,String]
        }
      }
}

これは、マクロの実装を呼び出す方法です。

object Macros {
def missingParamType(a: Int):PartialFunction[Int,String] = macro Implementations.missingParamType_impl
}

私もこれを試しました：

def missingParamType_impl(c: whitebox.Context)(a: c.Expr[Int]):c.Expr[PartialFunction[Int,String]] = {
    import c.universe._

    reify {
      val spliced = a.splice
      val spliced2 = a.splice * 2
      val pf1: PartialFunction[Int, String] = {
        case `spliced` ⇒ a.splice.toString
      }
      val pf2: PartialFunction[Int, String] = {
        case `spliced2` ⇒ a.splice.toString
      }
      val PF:PartialFunction[Int, String] = pf1.orElse(pf2)
      PF
    }
  }

それとも、reify の仕組みを根本的に誤解していますか?