:bug: Fix check_exp_td

diff --git a/src/parse/check.c b/src/parse/check.c
index ab179976577e05d1b8432a4fdae5feb0f2875f6a..1a20886b53123e92b7bfe618798fc33c03212249 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -1056,7 +1056,9 @@ ANN static Type check_exp_lambda(const Env env, const Exp_If *exp_if NUSED) {
 
 ANN static Type check_exp_td(const Env env, Type_Decl **td) {
   DECL_OO(const Type, t, = known_type(env, *td));
-  return type_class(env->gwion, t);
+  if(isa(t, env->gwion->type[et_function]) > 0 && !is_fptr(env->gwion, t))
+    return type_class(env->gwion, t);
+  return t;
 }
 
 DECL_EXP_FUNC(check, Type, Env)