From 83d90f146398bf6cff751d239406328dbb95e724 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Sun, 28 Jan 2018 09:51:52 +0000 Subject: Extra check for `type_info` cycle checking --- src/check_type.cpp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/check_type.cpp') diff --git a/src/check_type.cpp b/src/check_type.cpp index 41c975185..4beb88bdb 100644 --- a/src/check_type.cpp +++ b/src/check_type.cpp @@ -1671,6 +1671,10 @@ bool check_procedure_type(Checker *c, Type *type, AstNode *proc_type_node, Array c->context.polymorphic_scope = c->context.scope; } + CheckerContext prev = c->context; + defer (c->context = prev); + c->context.curr_proc_sig = type; + bool variadic = false; isize variadic_index = -1; bool success = true; -- cgit v1.2.3