array dimensions check

never-lang · Sep 2, 2023 · 008b8f3 · 008b8f3
1 parent 839708c
commit 008b8f3
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/sample/sample123.nev 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
+}
+