From f54afb1496d7d827ebe50a7a8ce206806ba4530e Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 7 Jun 2019 21:36:34 +0200
Subject: [PATCH] :art: More Fptr fixes and improvments

---
 src/lib/func.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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;
   }
-- 
2.43.0