diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-21 12:27:19 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-21 12:27:19 +1000 |
| commit | 32ac0f03b4259fc8eebba9bb3a2a46d23122a43b (patch) | |
| tree | a371fb9c5a3f78e6f53c66d70e1255fdc71bba4d /html-test/ref/BundledPatterns2.html | |
| parent | cd17128898089450bb21790fd1864dc08fd4ddbc (diff) | |
| parent | 2368e9329e6600b46000abd24ec00b7e27bcae75 (diff) | |
Merge remote-tracking branch 'upstream/ghc-9.4' into ghc-9.4
Diffstat (limited to 'html-test/ref/BundledPatterns2.html')
| -rw-r--r-- | html-test/ref/BundledPatterns2.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index 56a44f57..3b192054 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -58,7 +58,7 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" title="GHC.TypeLits" + > :: <a href="#" title="GHC.TypeNats" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -90,7 +90,7 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" title="GHC.TypeLits" + > :: <a href="#" title="GHC.TypeNats" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -131,7 +131,7 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" title="GHC.TypeLits" + > :: <a href="#" title="GHC.TypeNats" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -154,7 +154,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" title="Data.List" + ><a href="#" title="Data.Foldable" >length</a ></code > - 1</code @@ -289,7 +289,7 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" title="GHC.TypeLits" + > :: <a href="#" title="GHC.TypeNats" >Nat</a > -> * -> * <span class="keyword" >where</span |