From 3f68a3ee4ed5c3d8b4b6a6d6946094d7360f782c Mon Sep 17 00:00:00 2001 From: Stephan Lachnit Date: Wed, 21 Aug 2024 17:58:47 +0200 Subject: [PATCH] index type can be negative, so check for that as well Signed-off-by: Stephan Lachnit --- paper.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/paper.md b/paper.md index 2e7efe0..f2245b5 100644 --- a/paper.md +++ b/paper.md @@ -79,7 +79,7 @@ In 24.7.3.6.3 ([[mdspan.mdspan.members]](https://eel.is/c++draft/mdspan.mdspan.m > [8]{.pnum} *Returns:* `(*this)[indices...]` > > [9]{.pnum} *Throws:* `out_of_range` if\ -> `indices_v[i] >= extent(i)`\ +> `indices_v[i] >= extent(i) || indices_v[i] < 0`\ > for any `indices_v[i]` in `vector({indices...})`. > > ``` @@ -98,7 +98,7 @@ In 24.7.3.6.3 ([[mdspan.mdspan.members]](https://eel.is/c++draft/mdspan.mdspan.m > [11]{.pnum} *Returns:* `(*this)[indices]` > > [12]{.pnum} *Throws:* `out_of_range` if\ -> `indices[i] >= extent(i)`\ +> `indices[i] >= extent(i) || indices[i] < 0`\ > for any `indices[i]` in `indices`. :::