Skip to content

Assert that ranges are not decreasing #720

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
annevk wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Assert that ranges are not decreasing #720

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 22 additions & 7 deletions infra.bs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1857,18 +1857,33 @@ of creating a new <a>ordered set</a> |set| and, <a for=list>for each</a> |item|
<hr>

<p><dfn export lt="the range|the inclusive range">The range</dfn> <var>n</var> to <var>m</var>,
inclusive, creates a new <a>ordered set</a> containing all of the integers from <var>n</var> up to
and including <var>m</var> in consecutively increasing order, as long as <var>m</var> is greater
than or equal to <var>n</var>.
inclusive, is determined as follows:

<p><dfn export lt="the exclusive range">The range</dfn> <var>n</var> to <var>m</var>, exclusive,
creates a new <a>ordered set</a> containing all of the integers from <var>n</var> up to and including
<var>m</var> &minus; 1 in consecutively increasing order, as long as <var>m</var> is greater than
<var>n</var>. If <var>m</var> equals <var>n</var>, then it creates an empty <a>ordered set</a>.
<ol>
<li><p><a>Assert</a>: <var>m</var> is greater than or equal to <var>n</var>.

<li><p>Return a new <a>ordered set</a> containing all of the integers from <var>n</var> up to and
including <var>m</var> in consecutively increasing order.
</ol>

<p class=example id=example-the-range><a for=set>For each</a> <var>n</var> of <a>the range</a> 1 to
4, inclusive, &hellip;

<p><dfn export lt="the exclusive range">The range</dfn> <var>n</var> to <var>m</var>, exclusive, is
determined as follows:

<ol>
<li><p><a>Assert</a>: <var>m</var> is greater than or equal to <var>n</var>.

<li><p>If <var>m</var> equals <var>n</var>, then return the empty <a>ordered set</a>.

<li><p>Return a new <a>ordered set</a> containing all of the integers from <var>n</var> up to and
including <var>m</var> &minus; 1 in consecutively increasing order.
</ol>

<p class=note><a>The exclusive range</a> is usually what is needed when working with <a>lists</a> as
they can be empty.


<h3 id=maps>Maps</h3>

Expand Down