From 8b8c95723c2be9a89523c15a5a64f53ec9a6d8e0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Wed, 15 Dec 2021 15:53:58 +0100 Subject: [PATCH] :bug: Allow late abstract arrays --- src/parse/scan1.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parse/scan1.c b/src/parse/scan1.c index 09b056d4..88989cca 100644 --- a/src/parse/scan1.c +++ b/src/parse/scan1.c @@ -114,7 +114,7 @@ ANN static m_bool scan1_decl(const Env env, const Exp_Decl *decl) { } const Type base = array_base_simple(t); - if (GET_FLAG(base, abstract) && + if ((!GET_FLAG(decl->td, late) && GET_FLAG(base, abstract)) && (array_ref2(var->array) || array_ref2(decl->td->array))) ERR_B(var->pos, _("arrays of abstract type '%s' must be declared empty"), -- 2.43.0