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/BundledPatterns2.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/BundledPatterns2.html')
| -rw-r--r-- | html-test/ref/BundledPatterns2.html | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index 6a60c748..2f456728 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.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 @@ -78,7 +80,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 @@ -117,7 +121,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 @@ -138,7 +144,9 @@ > subscript starting from 0 and ending at <code ><code - >length</code + ><a href="#" title="Data.Foldable" + >length</a + ></code > - 1</code >.</li ></ul @@ -271,7 +279,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 |