From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 16 Jun 2020 20:01:02 +0000 (+0200)
Subject: :art: Improve check_exp_prim_array
X-Git-Tag: nightly~1468
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=b164421d2f16bb5a691ceef6b91e00d18820d8a1;p=gwion.git

:art: Improve check_exp_prim_array
---

diff --git a/src/parse/check.c b/src/parse/check.c
index 17459c4d..677b63c8 100644
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -210,7 +210,7 @@ ANN static inline Type prim_array_match(const Env env, Exp e) {
   const Type type = e->info->type;
   do CHECK_BO(prim_array_inner(env, type, e))
   while((e = e->next));
-  return array_type(env, type->array_depth ? array_base(type) : type, type->array_depth + 1);
+  return array_type(env, array_base(type), type->array_depth + 1);
 }
 
 ANN static Type check_prim_array(const Env env, const Array_Sub *data) {