From: Jérémie Astor <fennecdjay@gmail.com>
Date: Wed, 15 Dec 2021 14:53:58 +0000 (+0100)
Subject: :bug: Allow late abstract arrays
X-Git-Tag: nightly~401
X-Git-Url: http://10.11.0.4:5575/?a=commitdiff_plain;h=8b8c95723c2be9a89523c15a5a64f53ec9a6d8e0;p=gwion.git

:bug: Allow late abstract arrays
---

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"),