From 5d9a888107b9548529ed2125b65914b3185a10e8 Mon Sep 17 00:00:00 2001
From: Matthias Kurtenacker <matthias.kurtenacker@dfki.de>
Date: Wed, 13 Nov 2024 16:33:51 +0100
Subject: [PATCH] Added test for static size arrays.

---
 test/CMakeLists.txt     |  1 +
 test/simple/arrays3.art | 10 ++++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 test/simple/arrays3.art

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index 3fe09e9..b86c931 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -55,6 +55,7 @@ add_test(NAME simple_mut         COMMAND artic --print-ast --warnings-as-errors
 add_test(NAME simple_static      COMMAND artic --print-ast ${CMAKE_CURRENT_SOURCE_DIR}/simple/static.art)
 add_test(NAME simple_arrays1     COMMAND artic --print-ast ${CMAKE_CURRENT_SOURCE_DIR}/simple/arrays1.art)
 add_test(NAME simple_arrays2     COMMAND artic --print-ast ${CMAKE_CURRENT_SOURCE_DIR}/simple/arrays2.art)
+add_test(NAME simple_arrays3     COMMAND artic --print-ast ${CMAKE_CURRENT_SOURCE_DIR}/simple/arrays3.art)
 add_test(NAME simple_sort        COMMAND artic --print-ast ${CMAKE_CURRENT_SOURCE_DIR}/simple/sort.art)
 add_test(NAME simple_filters1    COMMAND artic --print-ast ${CMAKE_CURRENT_SOURCE_DIR}/simple/filters1.art)
 add_test(NAME simple_filters2    COMMAND artic --print-ast ${CMAKE_CURRENT_SOURCE_DIR}/simple/filters2.art)
diff --git a/test/simple/arrays3.art b/test/simple/arrays3.art
new file mode 100644
index 0000000..0256c31
--- /dev/null
+++ b/test/simple/arrays3.art
@@ -0,0 +1,10 @@
+static n = 3;
+
+#[export]
+fn test() {
+    let a = [3; n] : [i32 * n];
+    let b = [4; n];
+    let mut c : [i32 * n];
+    c(0) = a(0);
+    c(1) = b(1);
+}