From 008b8f3a143513cda312473595dccb9b1212981d Mon Sep 17 00:00:00 2001
From: Slawomir Maludzinski <slawomir.maludzinski@gmail.com>
Date: Sat, 2 Sep 2023 09:39:04 +0200
Subject: [PATCH] array dimensions check

---
 sample/sample123.nev | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 sample/sample123.nev

diff --git a/sample/sample123.nev b/sample/sample123.nev
new file mode 100644
index 0000000..edc2e78
--- /dev/null
+++ b/sample/sample123.nev
@@ -0,0 +1,15 @@
+
+func f1(E : int, a[D] : int) -> int
+{
+    assert(D == E);
+    0
+}
+
+func main() -> int
+{
+    f1( 0, [] : int );
+    f1( 3, [ 1, 2, 3 ] : int );
+    f1( 10, {[ 10 ]} : int );
+    0
+}
+