diff options
Diffstat (limited to 'testsuite/fail_compilation/assign_member_of_const.elna')
| -rw-r--r-- | testsuite/fail_compilation/assign_member_of_const.elna | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/assign_member_of_const.elna b/testsuite/fail_compilation/assign_member_of_const.elna new file mode 100644 index 0000000..fc945bb --- /dev/null +++ b/testsuite/fail_compilation/assign_member_of_const.elna @@ -0,0 +1,13 @@ +type + R = record + x: Int + end + +proc f() +var + r: const R := R{ x: 5 } +begin + r.x := 6 (* @Error Cannot assign to a value of type 'const Int', because it is constant or contains constant members *) +return + +end. |