From 3825eab989c0911326fd009b96c9768150ff6ac2 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Sat, 8 Sep 2018 12:16:03 +0100 Subject: Diverging procedures `proc() -> !` (no return) --- src/check_type.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/check_type.cpp') diff --git a/src/check_type.cpp b/src/check_type.cpp index 757fb7f37..d523b67de 100644 --- a/src/check_type.cpp +++ b/src/check_type.cpp @@ -1951,6 +1951,7 @@ bool check_procedure_type(CheckerContext *ctx, Type *type, Ast *proc_type_node, type->Proc.calling_convention = cc; type->Proc.is_polymorphic = pt->generic; type->Proc.specialization_count = specialization_count; + type->Proc.no_return = pt->no_return; if (param_count > 0) { Entity *end = params->Tuple.variables[param_count-1]; -- cgit v1.2.3