From 0622509807993e02ab9ed155f1864198fd180bf9 Mon Sep 17 00:00:00 2001 From: Ginger Bill Date: Wed, 28 Jun 2017 23:17:20 +0100 Subject: Disable `var` and `const` declarations --- src/check_expr.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/check_expr.cpp') diff --git a/src/check_expr.cpp b/src/check_expr.cpp index 10bfa1233..896905020 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -2219,6 +2219,11 @@ Type *check_type(Checker *c, AstNode *e, Type *named_type) { } } + if (is_type_gen_proc(type)) { + error(e, "Invalid use of polymorphic procedure type"); + type = t_invalid; + } + if (is_type_typed(type)) { add_type_and_value(&c->info, e, Addressing_Type, type, empty_exact_value); } else { -- cgit v1.2.3