diff --git a/src/.type_check_visitor.cpp.kate-swp b/src/.type_check_visitor.cpp.kate-swp deleted file mode 100644 index 144402c..0000000 Binary files a/src/.type_check_visitor.cpp.kate-swp and /dev/null differ diff --git a/src/type_check_visitor.cpp b/src/type_check_visitor.cpp index d718447..e8451f2 100644 --- a/src/type_check_visitor.cpp +++ b/src/type_check_visitor.cpp @@ -1492,7 +1492,7 @@ std::optional "TypeCheckVisitor.FindSubExpressionMethodAndUpdate"); } - if (abstract_type_info->HaveTypeclass(typeclass_graph_.FindFunctionTypeclass(node->name).value())) { + if (abstract_type_info->HasTypeclass(typeclass_graph_.FindFunctionTypeclass(node->name).value())) { maybe_function_declaration = maybe_typeclass_function_info.value()->declaration; } } else {