:bug: Allow late abstract arrays

diff --git a/src/parse/scan1.c b/src/parse/scan1.c
index 09b056d4f4c060fa188ed609e4fc4f80677fe1cb..88989cca688b34225c5903118686e1e289a9f188 100644 (file)
--- 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"),