From 1c5ddd65b4f66c4d37bd9da0facb229bbcea22eb Mon Sep 17 00:00:00 2001 From: Ginger Bill Date: Thu, 13 Jul 2017 22:35:00 +0100 Subject: Rudimentary support for parametric polymorphic types --- src/check_decl.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/check_decl.cpp') diff --git a/src/check_decl.cpp b/src/check_decl.cpp index 96827590d..7c33cf9e5 100644 --- a/src/check_decl.cpp +++ b/src/check_decl.cpp @@ -558,7 +558,7 @@ void check_var_decl(Checker *c, Entity *e, Entity **entities, isize entity_count if (type_expr != nullptr) { e->type = check_type(c, type_expr); } - if (e->type != nullptr && is_type_polymorphic(e->type)) { + if (e->type != nullptr && is_type_polymorphic(base_type(e->type))) { error(e->token, "Invalid use of a polymorphic type in %.*s", LIT(context_name)); e->type = t_invalid; } -- cgit v1.2.3