:art: More Fptr fixes and improvments

diff --git a/src/lib/func.c b/src/lib/func.c
index 3762f0f04a580c70fc9ff6c38eedb24928cd9412..f57c0a487811d8598d0a6e77ef7569eee1095f63 100644 (file)
--- a/src/lib/func.c
+++ b/src/lib/func.c
@@ -82,7 +82,11 @@ ANN static m_bool fptr_args(const Env env, struct Func_Base_ *base[2]) {
   Arg_List arg0 = base[0]->args, arg1 = base[1]->args;
   while(arg0) {
     CHECK_OB(arg1)
-    CHECK_BB(isa(arg0->type, arg1->type))
+    const Type t0 = known_type(env, arg0->td);
+    CHECK_OB(t0)
+    const Type t1 = known_type(env, arg1->td);
+    CHECK_OB(t1)
+    CHECK_BB(isa(t0, t1))
     arg0 = arg0->next;
     arg1 = arg1->next;
   }