summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-01-30 00:29:31 -0800
committerOri Bernstein <ori@eigenstate.org>2017-01-30 00:29:31 -0800
commitefef5c18f16cbff92400e6198ddb666b640a6adc (patch)
tree9a98e4582feb823ea0d1217924f6641ecf6a6cd5 /doc
parent5c12b2816f7feeafb5e3e52ee287bf33927a1c74 (diff)
downloadmc-efef5c18f16cbff92400e6198ddb666b640a6adc.tar.gz
Specify bounds checking.
Diffstat (limited to 'doc')
-rw-r--r--doc/lang.txt7
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/lang.txt b/doc/lang.txt
index 76ea677..483776f 100644
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -1384,8 +1384,8 @@ TABLE OF CONTENTS:
`idx`th value in the sequence is referred to. This expression
produces an lvalue.
- If `idx` is larger than `expr.len`, then the program must
- terminate.
+ If `idx` is larger than `expr.len` or smaller than 0, then the
+ program must terminate.
Type:
@@ -1404,6 +1404,9 @@ TABLE OF CONTENTS:
If the lower bound is omitted, then it is implicitly zero. If the
upper bound is ommitted, then it is implicitly `expr.len`.
+ If the bounds are not fully contained within the slice being
+ indexed, the program must terminate.
+
Type:
(expr : @a[N])[(lo : @lo) : (hi : @hi)] : @a[:]