handle type errors

IDNI · Dec 16, 2024 · 74f92f5 · 74f92f5
1 parent 9e28a04
commit 74f92f5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/nso_rr.h b/src/nso_rr.h
@@ -2015,7 +2015,9 @@ rr<tau<BAs...>> infer_ref_types(const rr<tau<BAs...>>& nso_rr) {
 		}
 	}
 
-	for (const auto& err : ts.errors) BOOST_LOG_TRIVIAL(error) << "(Error) " << err;
+	for (const auto& err : ts.errors)
+		BOOST_LOG_TRIVIAL(error) << "(Error) " << err;
+	if (ts.errors.size()) return { {}, nullptr };
 
 	if (todo_names.size()) {
 		std::stringstream ss;