add example initArray usage

effekt-lang · Oct 20, 2023 · 8e8afe4 · 8e8afe4
1 parent 593ab8f
commit 8e8afe4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/examples/pos/arrays.check b/examples/pos/arrays.check
@@ -2,3 +2,4 @@ Some(hello)
 Some(world)
 None()
 Some(foo)
+Hello World,Hello World,Hello World,Hello World
diff --git a/examples/pos/arrays.effekt b/examples/pos/arrays.effekt
@@ -17,4 +17,7 @@ def main() = {
     println(show(get(arr, 4)));
     put(arr, 4, "foo");
     println(show(get(arr, 4)))
+
+    val arrWithVals = initArray(4,"Hello World");
+    println(arrWithVals)
 }