add overloading logic

es-meta · Oct 8, 2024 · 3cea729 · 3cea729
1 parent e1cddce
commit 3cea729
Showing 1 changed file with 14 additions and 4 deletions.
diff --git a/src/main/scala/esmeta/interpreter/Interpreter.scala b/src/main/scala/esmeta/interpreter/Interpreter.scala
@@ -132,10 +132,20 @@ class Interpreter(
       eval(fexpr) match
         case clo @ Clo(func, captured) =>
           val vs = args.map(eval)
-          val newLocals =
-            getLocals(func.irFunc.params, vs, call, clo) ++ captured
-          st.callStack ::= CallContext(st.context, lhs)
-          st.context = Context(func, newLocals)
+          func.irFunc.overloads.apply(vs) match
+            case None =>
+              val newLocals =
+                getLocals(func.irFunc.params, vs, call, clo) ++ captured
+              st.callStack ::= CallContext(st.context, lhs)
+              st.context = Context(func, newLocals)
+            case Some(newFuncName) =>
+              val newFunc = cfg.getFunc(newFuncName)
+              val newLocals =
+                // TODO : check captured's `Name` is correct
+                getLocals(newFunc.irFunc.params, vs, call, clo) ++ captured
+              st.callStack ::= CallContext(st.context, lhs)
+              st.context = Context(newFunc, newLocals)
+
         case cont @ Cont(func, captured, callStack) => {
           val vs = args.map(eval)
           val newLocals =