From 947d5911fa643dda6ea9e58c01c65eaa2187fe46 Mon Sep 17 00:00:00 2001 From: Glyphack Date: Mon, 9 Oct 2023 23:06:30 +0200 Subject: [PATCH] Return error for unknown function calls --- typechecker/src/type_check/type_evaluator.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typechecker/src/type_check/type_evaluator.rs b/typechecker/src/type_check/type_evaluator.rs index f269dd09..0fa26eb0 100755 --- a/typechecker/src/type_check/type_evaluator.rs +++ b/typechecker/src/type_check/type_evaluator.rs @@ -70,7 +70,7 @@ impl TypeEvaluator { self.infer_type_from_symbol_table(n.id.as_str(), n.node.start)?; match f_type { PythonType::Callable(callable_type) => Ok(callable_type.return_type), - _ => Ok(PythonType::Unknown), + _ => Err(miette!("{} is not callable", n.id)), } } ast::Expression::Attribute(_a) => Ok(PythonType::Unknown),