summaryrefslogtreecommitdiff
path: root/tiger-compiler/tests/good/array-of-nil.tig
diff options
context:
space:
mode:
Diffstat (limited to 'tiger-compiler/tests/good/array-of-nil.tig')
-rw-r--r--tiger-compiler/tests/good/array-of-nil.tig11
1 files changed, 11 insertions, 0 deletions
diff --git a/tiger-compiler/tests/good/array-of-nil.tig b/tiger-compiler/tests/good/array-of-nil.tig
new file mode 100644
index 0000000..d56de50
--- /dev/null
+++ b/tiger-compiler/tests/good/array-of-nil.tig
@@ -0,0 +1,11 @@
+// Source: https://assignments.lre.epita.fr/reference_manual/tiger_language_reference_manual/semantics/declarations/type_declarations/type_declarations.html
+let
+ type rec = { val : int }
+ type rec_arr = array of rec
+ var table := rec_arr[2] of nil
+in
+ for i := 0 to 1 do
+ table[i] := rec { val = 42 };
+ table[0].val := 51
+ /* table[1].val = 42. */
+end