From 258ca38fe251ddb8577be62bff7690ba006b491e Mon Sep 17 00:00:00 2001
From: "Taro L. Saito" <leo@xerial.org>
Date: Sun, 25 Feb 2024 23:06:24 -0800
Subject: [PATCH] Check params

---
 .../airframe/surface/CompileTimeSurfaceFactory.scala     | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/airframe-surface/src/main/scala-3/wvlet/airframe/surface/CompileTimeSurfaceFactory.scala b/airframe-surface/src/main/scala-3/wvlet/airframe/surface/CompileTimeSurfaceFactory.scala
index cfc92435c..a7d6b069e 100644
--- a/airframe-surface/src/main/scala-3/wvlet/airframe/surface/CompileTimeSurfaceFactory.scala
+++ b/airframe-surface/src/main/scala-3/wvlet/airframe/surface/CompileTimeSurfaceFactory.scala
@@ -781,11 +781,12 @@ private[surface] class CompileTimeSurfaceFactory[Q <: Quotes](using quotes: Q):
       methodArgss: List[List[MethodArg]]
   ): Expr[Option[(Any, Seq[Any]) => Any]] =
     // Build { (x: Any, args: Seq[Any]) => x.asInstanceOf[t].<method>(.. args) }
-    val methodTypeParams: List[TypeParamClause] = m.tree match
+    val methodTypeParams: List[ParamClause] = m.tree match
       case df: DefDef =>
-        df.paramss.collect { case t: TypeParamClause =>
-          t
+        df.paramss.foreach { p =>
+          if m.name == "collectFirst" then println(s"--- ${p}")
         }
+        df.paramss.collect { case t: TypeParamClause => t }
       case _ =>
         List.empty
 
@@ -823,12 +824,12 @@ private[surface] class CompileTimeSurfaceFactory[Q <: Quotes](using quotes: Q):
             else
               // For generic functions, type params also need to be applied
               val dummyTypeParams = methodTypeParams.map(x => TypeRepr.of[Any])
+              // if m.name == "collectFirst" then println(s"${m.name}. ${m.declaredTypes}")
               expr
                 .appliedToTypes(dummyTypeParams)
                 .appliedToArgss(argList)
           newExpr.changeOwner(sym)
     )
-    if m.name == "aggregate" then println(s"--- ${lambda.show}")
     '{ Some(${ lambda.asExprOf[(Any, Seq[Any]) => Any] }) }
 
   private def localMethodsOf(t: TypeRepr): Seq[Symbol] =