From b164421d2f16bb5a691ceef6b91e00d18820d8a1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Tue, 16 Jun 2020 22:01:02 +0200 Subject: [PATCH] :art: Improve check_exp_prim_array --- src/parse/check.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) { -- 2.43.0