bug fixes for inference

1 files changed, 6 insertions, 0 deletions

diff --git a/eval.c b/eval.c
index 02f6327..3b0ec71 100644
--- a/eval.c
+++ b/eval.c
@@ -1323,6 +1323,12 @@ static bool eval_expr(Evaluator *ev, Expression *e, Value *v) {
 		break;
 	case EXPR_IDENT: {
 		IdentDecl *idecl = ident_decl(e->ident);
+		if (!idecl) {
+			char *s = ident_to_str(e->ident);
+			err_print(e->where, "Undeclared identifier: %s.", s);
+			free(s);
+			return false;
+		}
 		bool is_decl = idecl->kind == IDECL_DECL;
 		Declaration *d = NULL;
 		if (is_decl) {