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/Bug548.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/Bug548.html')
-rw-r--r-- | html-test/ref/Bug548.html | 270 |
1 files changed, 221 insertions, 49 deletions
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index a8061eb2..b690b8ad 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -47,7 +47,13 @@ >newtype</span > <a id="t:WrappedArrow" class="def" >WrappedArrow</a - > (a :: * -> * -> *) b c <a href="#" class="selflink" + > (a :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >) b c <a href="#" class="selflink" >#</a ></p ><div class="subs constructors" @@ -92,9 +98,15 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Generic1:1" ></span - > Generic1 (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Generic1</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b :: * -> *)</span + > a b :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >)</span ></td ><td class="doc empty" ></td @@ -114,9 +126,15 @@ ><p class="src" ><span class="keyword" >type</span - > Rep1 (<a href="#" title="Bug548" - >WrappedArrow</a - > a b) :: k -> *</p + > <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" + >WrappedArrow</a + > a b) :: k -> <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" + >#</a + ></p ></div > <div class="subs methods" ><p class="caption" @@ -126,17 +144,25 @@ >from1</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 -> Rep1 (<a href="#" title="Bug548" + > a b a0 -> <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b) a0</p + > a b) a0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >to1</a - > :: Rep1 (<a href="#" title="Bug548" + > :: <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b) a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -146,12 +172,20 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Functor:2" ></span - > Arrow a => Functor (<a href="#" title="Bug548" + > <a href="#" title="Control.Arrow" + >Arrow</a + > a => <a href="#" title="Data.Functor" + >Functor</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + ><em + >Since: base-2.1</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -172,7 +206,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0</p + > a b b0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<$)</a @@ -180,7 +216,9 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -190,12 +228,20 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Applicative:3" ></span - > Arrow a => Applicative (<a href="#" title="Bug548" + > <a href="#" title="Control.Arrow" + >Arrow</a + > a => <a href="#" title="Control.Applicative" + >Applicative</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + ><em + >Since: base-2.1</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -214,7 +260,9 @@ >pure</a > :: a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<*>)</a @@ -224,7 +272,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0</p + > a b b0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >liftA2</a @@ -234,7 +284,9 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b c</p + > a b c <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(*>)</a @@ -244,7 +296,9 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0</p + > a b b0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<*)</a @@ -254,7 +308,9 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -264,12 +320,22 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Alternative:4" ></span - > (ArrowZero a, ArrowPlus a) => Alternative (<a href="#" title="Bug548" + > (<a href="#" title="Control.Arrow" + >ArrowZero</a + > a, <a href="#" title="Control.Arrow" + >ArrowPlus</a + > a) => <a href="#" title="Control.Applicative" + >Alternative</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + ><em + >Since: base-2.1</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -288,7 +354,9 @@ >empty</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >(<|>)</a @@ -298,7 +366,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0</p + > a b a0 <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >some</a @@ -306,7 +376,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b [a0]</p + > a b [a0] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >many</a @@ -314,7 +386,9 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b [a0]</p + > a b [a0] <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -324,7 +398,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Generic:5" ></span - > Generic (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Generic</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b c)</span ></td @@ -346,9 +422,17 @@ ><p class="src" ><span class="keyword" >type</span - > Rep (<a href="#" title="Bug548" - >WrappedArrow</a - > a b c) :: * -> *</p + > <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c) :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" + >#</a + ></p ></div > <div class="subs methods" ><p class="caption" @@ -358,17 +442,25 @@ >from</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b c -> Rep (<a href="#" title="Bug548" + > a b c -> <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b c) x</p + > a b c) x <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >to</a - > :: Rep (<a href="#" title="Bug548" + > :: <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b c) x -> <a href="#" title="Bug548" >WrappedArrow</a - > a b c</p + > a b c <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -380,12 +472,22 @@ ></span > <span class="keyword" >type</span - > Rep1 (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b :: * -> *)</span + > a b :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >)</span + ></td + ><td class="doc" + ><p + ><em + >Since: base-4.7.0.0</em + ></p ></td - ><td class="doc empty" - ></td ></tr ><tr ><td colspan="2" @@ -399,9 +501,43 @@ > <div class="src" ><span class="keyword" >type</span - > Rep1 (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Rep1</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b :: * -> *) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (a b))))</div + > a b :: <a href="#" title="Data.Kind" + >Type</a + > -> <a href="#" title="Data.Kind" + >Type</a + >) = <a href="#" title="GHC.Generics" + >D1</a + > (<a href="#" title="GHC.Generics" + >MetaData</a + > "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" + >True</a + >) (<a href="#" title="GHC.Generics" + >C1</a + > (<a href="#" title="GHC.Generics" + >MetaCons</a + > "WrapArrow" <a href="#" title="GHC.Generics" + >PrefixI</a + > <a href="#" title="Data.Bool" + >True</a + >) (<a href="#" title="GHC.Generics" + >S1</a + > (<a href="#" title="GHC.Generics" + >MetaSel</a + > (<a href="#" title="GHC.Maybe" + >Just</a + > "unwrapArrow") <a href="#" title="GHC.Generics" + >NoSourceUnpackedness</a + > <a href="#" title="GHC.Generics" + >NoSourceStrictness</a + > <a href="#" title="GHC.Generics" + >DecidedLazy</a + >) (<a href="#" title="GHC.Generics" + >Rec1</a + > (a b))))</div ></details ></td ></tr @@ -412,12 +548,18 @@ ></span > <span class="keyword" >type</span - > Rep (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" >WrappedArrow</a > a b c)</span ></td - ><td class="doc empty" - ></td + ><td class="doc" + ><p + ><em + >Since: base-4.7.0.0</em + ></p + ></td ></tr ><tr ><td colspan="2" @@ -431,9 +573,39 @@ > <div class="src" ><span class="keyword" >type</span - > Rep (<a href="#" title="Bug548" + > <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug548" >WrappedArrow</a - > a b c) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (a b c))))</div + > a b c) = <a href="#" title="GHC.Generics" + >D1</a + > (<a href="#" title="GHC.Generics" + >MetaData</a + > "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" + >True</a + >) (<a href="#" title="GHC.Generics" + >C1</a + > (<a href="#" title="GHC.Generics" + >MetaCons</a + > "WrapArrow" <a href="#" title="GHC.Generics" + >PrefixI</a + > <a href="#" title="Data.Bool" + >True</a + >) (<a href="#" title="GHC.Generics" + >S1</a + > (<a href="#" title="GHC.Generics" + >MetaSel</a + > (<a href="#" title="GHC.Maybe" + >Just</a + > "unwrapArrow") <a href="#" title="GHC.Generics" + >NoSourceUnpackedness</a + > <a href="#" title="GHC.Generics" + >NoSourceStrictness</a + > <a href="#" title="GHC.Generics" + >DecidedLazy</a + >) (<a href="#" title="GHC.Generics" + >Rec0</a + > (a b c))))</div ></details ></td ></tr |