From: fennecdjay <fennecdjay@gmail.com>
Date: Tue, 9 Aug 2022 02:17:08 +0000 (+0200)
Subject: :art: Clean
X-Git-Tag: nightly~264^2~47
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e1ffc328de1798f848200dfd14c3c975fb6e6658;p=gwion.git

:art: Clean
---

diff --git a/src/lib/opfunc.c b/src/lib/opfunc.c
index 50cb17ef..ab43adcd 100644
--- a/src/lib/opfunc.c
+++ b/src/lib/opfunc.c
@@ -118,7 +118,7 @@ OP_CHECK(opck_new) {
   Exp_Unary *unary = (Exp_Unary *)data;
   const Array_Sub array = unary->ctor.td->array;
   DECL_ON(const Type, t, = known_type(env, unary->ctor.td));
-  if(array) {
+  if(array && !unary->ctor.exp) {
     const Type base = array_base(t);
     if(GET_FLAG(base, abstract)) CHECK_BN(abstract_array(env, array));
   }
diff --git a/src/parse/check.c b/src/parse/check.c
index 7dafbd90..455ab147 100644
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -966,7 +966,6 @@ ANN static Type check_exp_binary(const Env env, const Exp_Binary *bin) {
   }
   if(bin->rhs->exp_type == ae_exp_call && !bin->rhs->d.exp_call.tmpl)
     bin->rhs->d.exp_call.other = bin->lhs;
-  const m_uint scope = env->scope->depth;
   CHECK_OO(check_exp(env, bin->rhs));
   if (is_auto) {
     assert(bin->rhs->type == bin->lhs->type);
diff --git a/src/parse/scan1.c b/src/parse/scan1.c
index a8fd5488..caa6b272 100644
--- a/src/parse/scan1.c
+++ b/src/parse/scan1.c
@@ -118,7 +118,7 @@ ANN static m_bool scan1_decl(const Env env, Exp_Decl *const decl) {
       ERR_B(decl->td->pos, _("arrays with no expressions should be declared `late`"));
     if (GET_FLAG(decl->td, late) && decl->td->array->exp)
       ERR_B(decl->td->array->exp->pos, _("late array should have no size"));
-    if (GET_FLAG(base, abstract)) CHECK_BB(abstract_array(env, decl->td->array));
+    if (!decl->args && GET_FLAG(base, abstract)) CHECK_BB(abstract_array(env, decl->td->array));
   }
   const Value v = vd->value =
       vd->value ?: new_value(env, t, s_name(vd->xid), vd->pos);