diff options
author | Ori Bernstein <ori@eigenstate.org> | 2017-01-30 00:29:31 -0800 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2017-01-30 00:29:31 -0800 |
commit | efef5c18f16cbff92400e6198ddb666b640a6adc (patch) | |
tree | 9a98e4582feb823ea0d1217924f6641ecf6a6cd5 /doc | |
parent | 5c12b2816f7feeafb5e3e52ee287bf33927a1c74 (diff) | |
download | mc-efef5c18f16cbff92400e6198ddb666b640a6adc.tar.gz |
Specify bounds checking.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/lang.txt | 7 |
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[:] |