Deploying to main from @ openqasm/openqasm@76872e1 🚀

Author: jwoehr

_sources/language/types.rst.txt

@@ -65,7 +65,7 @@ declares a reference to a quantum bit. These qubits are referred
 to as "virtual qubits" (in distinction to "physical qubits" on
 actual hardware; see below). The statement ``qubit[size] name;``
 declares a quantum register with ``size`` qubits.
-Sizes must always be :ref:`compile-time constant <const-expression>` positive
+Sizes must always be :ref:`compile-time constant <const-expression>` non-negative
 integers.
 Quantum registers cannot be resized after declaration.
 
@@ -237,6 +237,7 @@ There are n-bit signed and unsigned integers. The statements ``int[size] name;``
 signed 1:n-1:0 and unsigned 0:n:0 integers of the given size. The sizes
 and the surrounding brackets can be omitted (*e.g.* ``int name;``) to use
 a precision that is specified by the particular target architecture.
+If provided, the ``size`` of an integer must be at least 1.
 Bit-level operations cannot be used on types without a specified width, and
 unspecified-width types are different to *all* specified-width types for
 the purposes of casting.
@@ -310,8 +311,8 @@ multiplication and division by unsigned integers is defined by standard
 unsigned-integer arithmetic, with more details found in :ref:`the section on
 classical instructions <classical-instructions>`.
 
-The statement ``angle[size] name;`` statement declares a new angle called
-``name`` with ``size`` bits in its representation.  Angles can be assigned
+The statement ``angle[size] name;`` declares a new angle called
+``name`` with ``size`` bits in its representation, where ``size`` must be a positive integer.  Angles can be assigned
 values using the constant ``π`` or ``pi``, such as::
 
    // Declare a 20-bit angle with the value of "π/2"
@@ -805,6 +806,8 @@ and for multi-dimensional arrays subarray accesses can be specified using a
 comma-delimited list of indices (*e.g.* ``myArr[1, 2, 3]``), with the outer
 dimension specified first.
 
+One or more dimension(s) of an array can be zero, in which case the array has size zero.  An array of size zero cannot be indexed, e.g. given ``array[float[32], 0] myArray;``, it is an error to access either ``myArray[0]`` or ``myArray[-1]``.
+
 Assignment to elements of arrays, as in the examples above, acts as expected,
 with the left-hand side of the assignment operating as a reference, thereby
 updating the values inside the original array. For multi-dimensional arrays,

grammar/index.html

@@ -210,7 +210,7 @@ <h1>OpenQASM 3.0 Grammar<a class="headerlink" href="#openqasm-3-0-grammar" title
 <span class="linenos">164</span><span class="nl">measureExpression</span><span class="p">:</span><span class="w"> </span><span class="no">MEASURE</span><span class="w"> </span><span class="nv">gateOperand</span><span class="p">;</span>
 <span class="linenos">165</span><span class="nl">rangeExpression</span><span class="p">:</span><span class="w"> </span><span class="nv">expression</span><span class="o">?</span><span class="w"> </span><span class="no">COLON</span><span class="w"> </span><span class="nv">expression</span><span class="o">?</span><span class="w"> </span><span class="o">(</span><span class="no">COLON</span><span class="w"> </span><span class="nv">expression</span><span class="o">)?</span><span class="p">;</span>
 <span class="linenos">166</span><span class="nl">setExpression</span><span class="p">:</span><span class="w"> </span><span class="no">LBRACE</span><span class="w"> </span><span class="nv">expression</span><span class="w"> </span><span class="o">(</span><span class="no">COMMA</span><span class="w"> </span><span class="nv">expression</span><span class="o">)*</span><span class="w"> </span><span class="no">COMMA</span><span class="o">?</span><span class="w"> </span><span class="no">RBRACE</span><span class="p">;</span>
-<span class="linenos">167</span><span class="nl">arrayLiteral</span><span class="p">:</span><span class="w"> </span><span class="no">LBRACE</span><span class="w"> </span><span class="o">(</span><span class="nv">expression</span><span class="w"> </span><span class="o">|</span><span class="w"> </span><span class="nv">arrayLiteral</span><span class="o">)</span><span class="w"> </span><span class="o">(</span><span class="no">COMMA</span><span class="w"> </span><span class="o">(</span><span class="nv">expression</span><span class="w"> </span><span class="o">|</span><span class="w"> </span><span class="nv">arrayLiteral</span><span class="o">))*</span><span class="w"> </span><span class="no">COMMA</span><span class="o">?</span><span class="w"> </span><span class="no">RBRACE</span><span class="p">;</span>
+<span class="linenos">167</span><span class="nl">arrayLiteral</span><span class="p">:</span><span class="w"> </span><span class="no">LBRACE</span><span class="w"> </span><span class="o">((</span><span class="nv">expression</span><span class="w"> </span><span class="o">|</span><span class="w"> </span><span class="nv">arrayLiteral</span><span class="o">)</span><span class="w"> </span><span class="o">(</span><span class="no">COMMA</span><span class="w"> </span><span class="o">(</span><span class="nv">expression</span><span class="w"> </span><span class="o">|</span><span class="w"> </span><span class="nv">arrayLiteral</span><span class="o">))*</span><span class="w"> </span><span class="no">COMMA</span><span class="o">?)?</span><span class="w"> </span><span class="no">RBRACE</span><span class="p">;</span>
 <span class="linenos">168</span>
 <span class="linenos">169</span><span class="c">// The general form is a comma-separated list of indexing entities.</span>
 <span class="linenos">170</span><span class="c">// `setExpression` is only valid when being used as a single index: registers</span>

index.html

@@ -133,7 +133,7 @@ <h1>OpenQASM Live Specification<a class="headerlink" href="#openqasm-version-spe
 </li>
 <li class="toctree-l1"><a class="reference internal" href="grammar/index.html">OpenQASM 3.0 Grammar</a></li>
 <li class="toctree-l1"><a class="reference internal" href="release_notes.html">Release Notes</a><ul>
-<li class="toctree-l2"><a class="reference internal" href="release_notes.html#spec-v3-1-0-21">spec/v3.1.0-21</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="release_notes.html#spec-v3-1-0-22">spec/v3.1.0-22</a><ul>
 <li class="toctree-l3"><a class="reference internal" href="release_notes.html#new-features">New Features</a></li>
 <li class="toctree-l3"><a class="reference internal" href="release_notes.html#upgrade-notes">Upgrade Notes</a></li>
 <li class="toctree-l3"><a class="reference internal" href="release_notes.html#bug-fixes">Bug Fixes</a></li>

language/types.html

@@ -84,7 +84,7 @@ <h3>Qubits<a class="headerlink" href="#qubits" title="Link to this heading">¶</
 to as “virtual qubits” (in distinction to “physical qubits” on
 actual hardware; see below). The statement <code class="docutils literal notranslate"><span class="pre">qubit[size]</span> <span class="pre">name;</span></code>
 declares a quantum register with <code class="docutils literal notranslate"><span class="pre">size</span></code> qubits.
-Sizes must always be <a class="reference internal" href="#const-expression"><span class="std std-ref">compile-time constant</span></a> positive
+Sizes must always be <a class="reference internal" href="#const-expression"><span class="std std-ref">compile-time constant</span></a> non-negative
 integers.
 Quantum registers cannot be resized after declaration.</p>
 <p>The label <code class="docutils literal notranslate"><span class="pre">name[j]</span></code> refers to a qubit of this register, where
@@ -225,6 +225,7 @@ <h3>Integers<a class="headerlink" href="#integers" title="Link to this heading">
 signed 1:n-1:0 and unsigned 0:n:0 integers of the given size. The sizes
 and the surrounding brackets can be omitted (<em>e.g.</em> <code class="docutils literal notranslate"><span class="pre">int</span> <span class="pre">name;</span></code>) to use
 a precision that is specified by the particular target architecture.
+If provided, the <code class="docutils literal notranslate"><span class="pre">size</span></code> of an integer must be at least 1.
 Bit-level operations cannot be used on types without a specified width, and
 unspecified-width types are different to <em>all</em> specified-width types for
 the purposes of casting.
@@ -286,8 +287,8 @@ <h3>Floating point numbers<a class="headerlink" href="#floating-point-numbers" t
 multiplication and division by unsigned integers is defined by standard
 unsigned-integer arithmetic, with more details found in <a class="reference internal" href="classical.html#classical-instructions"><span class="std std-ref">the section on
 classical instructions</span></a>.</p>
-<p>The statement <code class="docutils literal notranslate"><span class="pre">angle[size]</span> <span class="pre">name;</span></code> statement declares a new angle called
-<code class="docutils literal notranslate"><span class="pre">name</span></code> with <code class="docutils literal notranslate"><span class="pre">size</span></code> bits in its representation.  Angles can be assigned
+<p>The statement <code class="docutils literal notranslate"><span class="pre">angle[size]</span> <span class="pre">name;</span></code> declares a new angle called
+<code class="docutils literal notranslate"><span class="pre">name</span></code> with <code class="docutils literal notranslate"><span class="pre">size</span></code> bits in its representation, where <code class="docutils literal notranslate"><span class="pre">size</span></code> must be a positive integer.  Angles can be assigned
 values using the constant <code class="docutils literal notranslate"><span class="pre">π</span></code> or <code class="docutils literal notranslate"><span class="pre">pi</span></code>, such as:</p>
 <div class="highlight-qasm3 notranslate"><div class="highlight"><pre><span></span><span class="c1">// Declare a 20-bit angle with the value of &quot;π/2&quot;</span>
 <span class="kt">angle</span><span class="p">[</span><span class="m">20</span><span class="p">]</span><span class="w"> </span><span class="n">my_angle</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="no">π</span><span class="w"> </span><span class="o">/</span><span class="w"> </span><span class="m">2</span><span class="p">;</span>
@@ -804,6 +805,7 @@ <h2>Literals<a class="headerlink" href="#literals" title="Link to this heading">
 and for multi-dimensional arrays subarray accesses can be specified using a
 comma-delimited list of indices (<em>e.g.</em> <code class="docutils literal notranslate"><span class="pre">myArr[1,</span> <span class="pre">2,</span> <span class="pre">3]</span></code>), with the outer
 dimension specified first.</p>
+<p>One or more dimension(s) of an array can be zero, in which case the array has size zero.  An array of size zero cannot be indexed, e.g. given <code class="docutils literal notranslate"><span class="pre">array[float[32],</span> <span class="pre">0]</span> <span class="pre">myArray;</span></code>, it is an error to access either <code class="docutils literal notranslate"><span class="pre">myArray[0]</span></code> or <code class="docutils literal notranslate"><span class="pre">myArray[-1]</span></code>.</p>
 <p>Assignment to elements of arrays, as in the examples above, acts as expected,
 with the left-hand side of the assignment operating as a reference, thereby
 updating the values inside the original array. For multi-dimensional arrays,

objects.inv

@@ -34,10 +34,10 @@
 
   <section id="release-notes">
 <h1>Release Notes<a class="headerlink" href="#release-notes" title="Link to this heading">¶</a></h1>
-<section id="spec-v3-1-0-21">
-<span id="release-notes-spec-v3-1-0-21"></span><h2>spec/v3.1.0-21<a class="headerlink" href="#spec-v3-1-0-21" title="Link to this heading">¶</a></h2>
+<section id="spec-v3-1-0-22">
+<span id="release-notes-spec-v3-1-0-22"></span><h2>spec/v3.1.0-22<a class="headerlink" href="#spec-v3-1-0-22" title="Link to this heading">¶</a></h2>
 <section id="new-features">
-<span id="release-notes-spec-v3-1-0-21-new-features"></span><h3>New Features<a class="headerlink" href="#new-features" title="Link to this heading">¶</a></h3>
+<span id="release-notes-spec-v3-1-0-22-new-features"></span><h3>New Features<a class="headerlink" href="#new-features" title="Link to this heading">¶</a></h3>
 <ul class="simple">
 <li><p>The types <code class="docutils literal notranslate"><span class="pre">bool</span></code> and (scalar) <code class="docutils literal notranslate"><span class="pre">bit</span></code> are now explicitly described as being completely
 interchangeable in expression (r-value) positions, and that <code class="docutils literal notranslate"><span class="pre">bit</span></code> and <code class="docutils literal notranslate"><span class="pre">bit[1]</span></code> are distinct
@@ -49,7 +49,12 @@ <h1>Release Notes<a class="headerlink" href="#release-notes" title="Link to this
 </ul>
 </section>
 <section id="upgrade-notes">
-<span id="release-notes-spec-v3-1-0-21-upgrade-notes"></span><h3>Upgrade Notes<a class="headerlink" href="#upgrade-notes" title="Link to this heading">¶</a></h3>
+<span id="release-notes-spec-v3-1-0-22-upgrade-notes"></span><h3>Upgrade Notes<a class="headerlink" href="#upgrade-notes" title="Link to this heading">¶</a></h3>
+<ul class="simple">
+<li><p>It has been clarified that arrays and registers of size zero are
+allowed; however, integers and angles must have size greater than
+zero.</p></li>
+</ul>
 <ul class="simple">
 <li><p>The <code class="docutils literal notranslate"><span class="pre">qubit</span></code> type is no longer a valid base type for an <code class="docutils literal notranslate"><span class="pre">array</span></code>, and it is no longer stated
 that the register type <code class="docutils literal notranslate"><span class="pre">qubit[n]</span></code> is equivalent to an <code class="docutils literal notranslate"><span class="pre">array</span></code>; there is no need for these
@@ -58,7 +63,7 @@ <h1>Release Notes<a class="headerlink" href="#release-notes" title="Link to this
 </ul>
 </section>
 <section id="bug-fixes">
-<span id="release-notes-spec-v3-1-0-21-bug-fixes"></span><h3>Bug Fixes<a class="headerlink" href="#bug-fixes" title="Link to this heading">¶</a></h3>
+<span id="release-notes-spec-v3-1-0-22-bug-fixes"></span><h3>Bug Fixes<a class="headerlink" href="#bug-fixes" title="Link to this heading">¶</a></h3>
 <ul class="simple">
 <li><p>Some minor mathematical errors in the descriptions of the explicit gate
 actions in <a class="reference internal" href="language/standard_library.html#sdg" title="language/standard_library"><code class="xref oq oq-gate docutils literal notranslate"><span class="pre">sdg</span></code></a>, <a class="reference internal" href="language/standard_library.html#rx" title="language/standard_library"><code class="xref oq oq-gate docutils literal notranslate"><span class="pre">rx</span></code></a>, <a class="reference internal" href="language/standard_library.html#ry" title="language/standard_library"><code class="xref oq oq-gate docutils literal notranslate"><span class="pre">ry</span></code></a>, <a class="reference internal" href="language/standard_library.html#rz" title="language/standard_library"><code class="xref oq oq-gate docutils literal notranslate"><span class="pre">rz</span></code></a>, <a class="reference internal" href="language/standard_library.html#crx" title="language/standard_library"><code class="xref oq oq-gate docutils literal notranslate"><span class="pre">crx</span></code></a> and
@@ -91,7 +96,7 @@ <h3>Navigation</h3>
 <li class="toctree-l1"><a class="reference internal" href="language/index.html">Language</a></li>
 <li class="toctree-l1"><a class="reference internal" href="grammar/index.html">OpenQASM 3.0 Grammar</a></li>
 <li class="toctree-l1 current"><a class="current reference internal" href="#">Release Notes</a><ul>
-<li class="toctree-l2"><a class="reference internal" href="#spec-v3-1-0-21">spec/v3.1.0-21</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="#spec-v3-1-0-22">spec/v3.1.0-22</a><ul>
 <li class="toctree-l3"><a class="reference internal" href="#new-features">New Features</a></li>
 <li class="toctree-l3"><a class="reference internal" href="#upgrade-notes">Upgrade Notes</a></li>
 <li class="toctree-l3"><a class="reference internal" href="#bug-fixes">Bug Fixes</a></li>