From 12902821d63973e49f34fe5826f1069ca4ea605b Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Sun, 9 Sep 2018 13:48:33 +0100
Subject: Make diverging procedure types different from ones without a return
 type

---
 src/check_stmt.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/check_stmt.cpp')

diff --git a/src/check_stmt.cpp b/src/check_stmt.cpp
index f49f7d322..1c6181e77 100644
--- a/src/check_stmt.cpp
+++ b/src/check_stmt.cpp
@@ -1213,7 +1213,7 @@ void check_stmt_internal(CheckerContext *ctx, Ast *node, u32 flags) {
 		GB_ASSERT(proc_type->kind == Type_Proc);
 		// Type *proc_type = c->proc_stack[c->proc_stack.count-1];
 		TypeProc *pt = &proc_type->Proc;
-		if (pt->no_return) {
+		if (pt->diverging) {
 			error(rs->token, "Diverging procedures may not return");
 			break;
 		}
-- 
cgit v1.2.3