diff options
Diffstat (limited to 'doc/lang.txt')
| -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[:] |