Deploying to main from @ amaranth-lang/amaranth@86d14f5 🚀

docs/amaranth/latest/.buildinfo

@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 13c60ba8185afa9e9539495cd51be4c5
+config: 5bd1952f2f588176aa803f7256bb3202
 tags: 645f666f9bcd5a90fca523b33c5a78b7

docs/amaranth/latest/_sources/changes.rst.txt

@@ -15,6 +15,8 @@ Migrating from version 0.4
 
 Apply the following changes to code written against Amaranth 0.4 to migrate it to version 0.5:
 
+* Replace uses of ``m.Case()`` with no patterns with ``m.Default()``
+* Replace uses of ``Value.matches()`` with no patterns with ``Const(1)``
 * Update uses of :func:`amaranth.utils.log2_int(need_pow2=False)` to :func:`amaranth.utils.ceil_log2`
 * Update uses of :func:`amaranth.utils.log2_int(need_pow2=True)` to :func:`amaranth.utils.exact_log2`
 
@@ -23,8 +25,10 @@ Implemented RFCs
 ----------------
 
 .. _RFC 17: https://amaranth-lang.org/rfcs/0017-remove-log2-int.html
+.. _RFC 39: https://amaranth-lang.org/rfcs/0039-empty-case.html
 
 * `RFC 17`_: Remove ``log2_int``
+* `RFC 39`_: Change semantics of no-argument ``m.Case()``
 
 
 Language changes
@@ -34,6 +38,8 @@ Language changes
 
 * Added: :class:`ast.Slice` objects have been made const-castable.
 * Added: :func:`amaranth.utils.ceil_log2`, :func:`amaranth.utils.exact_log2`. (`RFC 17`_)
+* Changed: ``m.Case()`` with no patterns is never active instead of always active. (`RFC 39`_)
+* Changed: ``Value.matches()`` with no patterns is ``Const(0)`` instead of ``Const(1)``. (`RFC 39`_)
 * Deprecated: :func:`amaranth.utils.log2_int`. (`RFC 17`_)
 * Removed: (deprecated in 0.4) :meth:`Const.normalize`. (`RFC 5`_)
 * Removed: (deprecated in 0.4) :class:`ast.Sample`, :class:`ast.Past`, :class:`ast.Stable`, :class:`ast.Rose`, :class:`ast.Fell`.

docs/amaranth/latest/_static/documentation_options.js

@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.4.1.dev30',
+    VERSION: '0.4.1.dev31',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

docs/amaranth/latest/changes.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Changelog &mdash; Amaranth HDL toolchain 0.4.1.dev30 documentation</title>
+  <title>Changelog &mdash; Amaranth HDL toolchain 0.4.1.dev31 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=6976a3e7"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=cd0e27fe"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev30+geb1c558
+                0.4.1.dev31+g86d14f5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -128,6 +128,8 @@ <h2>Version 0.5 (unreleased)<a class="headerlink" href="#version-0-5-unreleased"
 <h3>Migrating from version 0.4<a class="headerlink" href="#migrating-from-version-0-4" title="Permalink to this heading"></a></h3>
 <p>Apply the following changes to code written against Amaranth 0.4 to migrate it to version 0.5:</p>
 <ul class="simple">
+<li><p>Replace uses of <code class="docutils literal notranslate"><span class="pre">m.Case()</span></code> with no patterns with <code class="docutils literal notranslate"><span class="pre">m.Default()</span></code></p></li>
+<li><p>Replace uses of <code class="docutils literal notranslate"><span class="pre">Value.matches()</span></code> with no patterns with <code class="docutils literal notranslate"><span class="pre">Const(1)</span></code></p></li>
 <li><p>Update uses of <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.log2_int(need_pow2=False)()</span></code> to <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.ceil_log2()</span></code></p></li>
 <li><p>Update uses of <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.log2_int(need_pow2=True)()</span></code> to <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.exact_log2()</span></code></p></li>
 </ul>
@@ -136,13 +138,16 @@ <h3>Migrating from version 0.4<a class="headerlink" href="#migrating-from-versio
 <h3>Implemented RFCs<a class="headerlink" href="#implemented-rfcs" title="Permalink to this heading"></a></h3>
 <ul class="simple">
 <li><p><a class="reference external" href="https://amaranth-lang.org/rfcs/0017-remove-log2-int.html">RFC 17</a>: Remove <code class="docutils literal notranslate"><span class="pre">log2_int</span></code></p></li>
+<li><p><a class="reference external" href="https://amaranth-lang.org/rfcs/0039-empty-case.html">RFC 39</a>: Change semantics of no-argument <code class="docutils literal notranslate"><span class="pre">m.Case()</span></code></p></li>
 </ul>
 </section>
 <section id="language-changes">
 <h3>Language changes<a class="headerlink" href="#language-changes" title="Permalink to this heading"></a></h3>
 <ul class="simple">
 <li><p>Added: <a class="reference external" href="https://docs.python.org/3/library/ast.html#ast.Slice" title="(in Python v3.12)"><code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Slice</span></code></a> objects have been made const-castable.</p></li>
 <li><p>Added: <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.ceil_log2()</span></code>, <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.exact_log2()</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0017-remove-log2-int.html">RFC 17</a>)</p></li>
+<li><p>Changed: <code class="docutils literal notranslate"><span class="pre">m.Case()</span></code> with no patterns is never active instead of always active. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0039-empty-case.html">RFC 39</a>)</p></li>
+<li><p>Changed: <code class="docutils literal notranslate"><span class="pre">Value.matches()</span></code> with no patterns is <code class="docutils literal notranslate"><span class="pre">Const(0)</span></code> instead of <code class="docutils literal notranslate"><span class="pre">Const(1)</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0039-empty-case.html">RFC 39</a>)</p></li>
 <li><p>Deprecated: <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.log2_int()</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0017-remove-log2-int.html">RFC 17</a>)</p></li>
 <li><p>Removed: (deprecated in 0.4) <code class="xref py py-meth docutils literal notranslate"><span class="pre">Const.normalize()</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0005-remove-const-normalize.html">RFC 5</a>)</p></li>
 <li><p>Removed: (deprecated in 0.4) <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Sample</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Past</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Stable</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Rose</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Fell</span></code>.</p></li>

docs/amaranth/latest/changes.rst

@@ -15,6 +15,8 @@ Migrating from version 0.4
 
 Apply the following changes to code written against Amaranth 0.4 to migrate it to version 0.5:
 
+* Replace uses of ``m.Case()`` with no patterns with ``m.Default()``
+* Replace uses of ``Value.matches()`` with no patterns with ``Const(1)``
 * Update uses of :func:`amaranth.utils.log2_int(need_pow2=False)` to :func:`amaranth.utils.ceil_log2`
 * Update uses of :func:`amaranth.utils.log2_int(need_pow2=True)` to :func:`amaranth.utils.exact_log2`
 
@@ -23,8 +25,10 @@ Implemented RFCs
 ----------------
 
 .. _RFC 17: https://amaranth-lang.org/rfcs/0017-remove-log2-int.html
+.. _RFC 39: https://amaranth-lang.org/rfcs/0039-empty-case.html
 
 * `RFC 17`_: Remove ``log2_int``
+* `RFC 39`_: Change semantics of no-argument ``m.Case()``
 
 
 Language changes
@@ -34,6 +38,8 @@ Language changes
 
 * Added: :class:`ast.Slice` objects have been made const-castable.
 * Added: :func:`amaranth.utils.ceil_log2`, :func:`amaranth.utils.exact_log2`. (`RFC 17`_)
+* Changed: ``m.Case()`` with no patterns is never active instead of always active. (`RFC 39`_)
+* Changed: ``Value.matches()`` with no patterns is ``Const(0)`` instead of ``Const(1)``. (`RFC 39`_)
 * Deprecated: :func:`amaranth.utils.log2_int`. (`RFC 17`_)
 * Removed: (deprecated in 0.4) :meth:`Const.normalize`. (`RFC 5`_)
 * Removed: (deprecated in 0.4) :class:`ast.Sample`, :class:`ast.Past`, :class:`ast.Stable`, :class:`ast.Rose`, :class:`ast.Fell`.

docs/amaranth/latest/contrib.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Contributing &mdash; Amaranth HDL toolchain 0.4.1.dev30 documentation</title>
+  <title>Contributing &mdash; Amaranth HDL toolchain 0.4.1.dev31 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=6976a3e7"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=cd0e27fe"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev30+geb1c558
+                0.4.1.dev31+g86d14f5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/cover.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Amaranth HDL documentation &mdash; Amaranth HDL toolchain 0.4.1.dev30 documentation</title>
+  <title>Amaranth HDL documentation &mdash; Amaranth HDL toolchain 0.4.1.dev31 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=6976a3e7"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=cd0e27fe"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev30+geb1c558
+                0.4.1.dev31+g86d14f5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/genindex.html

@@ -3,7 +3,7 @@
 <head>
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Index &mdash; Amaranth HDL toolchain 0.4.1.dev30 documentation</title>
+  <title>Index &mdash; Amaranth HDL toolchain 0.4.1.dev31 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -14,7 +14,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=6976a3e7"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=cd0e27fe"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -36,7 +36,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev30+geb1c558
+                0.4.1.dev31+g86d14f5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/index.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Language &amp; toolchain &mdash; Amaranth HDL toolchain 0.4.1.dev30 documentation</title>
+  <title>Language &amp; toolchain &mdash; Amaranth HDL toolchain 0.4.1.dev31 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=6976a3e7"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=cd0e27fe"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev30+geb1c558
+                0.4.1.dev31+g86d14f5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/install.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Installation &mdash; Amaranth HDL toolchain 0.4.1.dev30 documentation</title>
+  <title>Installation &mdash; Amaranth HDL toolchain 0.4.1.dev31 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=6976a3e7"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=cd0e27fe"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev30+geb1c558
+                0.4.1.dev31+g86d14f5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/intro.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Introduction &mdash; Amaranth HDL toolchain 0.4.1.dev30 documentation</title>
+  <title>Introduction &mdash; Amaranth HDL toolchain 0.4.1.dev31 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=6976a3e7"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=cd0e27fe"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev30+geb1c558
+                0.4.1.dev31+g86d14f5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">