diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-07-19 05:39:57 -0700 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-07-19 14:39:57 +0200 |
| commit | c04f44e29f38784e0e958abc683164e33f851c86 (patch) | |
| tree | 3d169d4b5b521cc1a77794632aac50ffef02c724 /html-test/ref/BundledPatterns.html | |
| parent | e3926b50ab8a7269fd6904b06e881745f08bc5d6 (diff) | |
Fix HEAD html-test (#860)
* Update tests for 'StarIsType'
* Accept tests
* Revert "Update tests for 'StarIsType'"
This reverts commit 7f0c01383bbba6dc5af554ee82988d2cf44e407a.
Diffstat (limited to 'html-test/ref/BundledPatterns.html')
| -rw-r--r-- | html-test/ref/BundledPatterns.html | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 7a602ae1..e9c77612 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -48,7 +48,9 @@ >data</span > <a href="#" >Vec</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -76,7 +78,9 @@ >data</span > <a href="#" >RTree</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -115,7 +119,9 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -136,7 +142,9 @@ > subscript starting from 0 and ending at <code ><code - >length</code + ><a href="#" title="Data.Foldable" + >length</a + ></code > - 1</code >.</li ></ul @@ -273,7 +281,9 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: Nat -> * -> * <span class="keyword" + > :: <a href="#" title="GHC.TypeNats" + >Nat</a + > -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a |