From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 7 Jun 2019 19:36:34 +0000 (+0200)
Subject: :art: More Fptr fixes and improvments
X-Git-Tag: nightly~2443^2~23
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=f54afb1496d7d827ebe50a7a8ce206806ba4530e;p=gwion.git

:art: More Fptr fixes and improvments
---

diff --git a/src/lib/func.c b/src/lib/func.c
index 3762f0f0..f57c0a48 100644
--- 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;
   }