diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:49:52 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:49:52 +0200 |
| commit | ce568c3afb00610d659d3c2bab022983d252f1cd (patch) | |
| tree | ba08952a584eb4d56a61b4275a344570e67c48cf /html-test/ref/BundledPatterns2.html | |
| parent | 39a35291045de99b2dabb9cddf5bb16d294c2f3b (diff) | |
html-test: Accept output
Diffstat (limited to 'html-test/ref/BundledPatterns2.html')
| -rw-r--r-- | html-test/ref/BundledPatterns2.html | 36 |
1 files changed, 5 insertions, 31 deletions
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index 9e791c65..6a60c748 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -48,13 +48,7 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" title="GHC.TypeNats" - >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -84,13 +78,7 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" title="GHC.TypeNats" - >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -129,13 +117,7 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" title="GHC.TypeNats" - >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -156,9 +138,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" title="Data.Foldable" - >length</a - ></code + >length</code > - 1</code >.</li ></ul @@ -291,13 +271,7 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" title="GHC.TypeNats" - >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a |