diff options
Diffstat (limited to 'html-test')
| -rw-r--r-- | html-test/ref/Bug1004.html | 450 | ||||
| -rw-r--r-- | html-test/ref/Bug1033.html | 12 | ||||
| -rw-r--r-- | html-test/ref/Bug1035.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Bug1050.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Bug310.html | 24 | ||||
| -rw-r--r-- | html-test/ref/Bug548.html | 32 | ||||
| -rw-r--r-- | html-test/ref/Bug574.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Bug679.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Bug8.html | 2 | ||||
| -rw-r--r-- | html-test/ref/BundledPatterns.html | 12 | ||||
| -rw-r--r-- | html-test/ref/BundledPatterns2.html | 12 | ||||
| -rw-r--r-- | html-test/ref/Identifiers.html | 10 | ||||
| -rw-r--r-- | html-test/ref/IgnoreExports.html | 38 | ||||
| -rw-r--r-- | html-test/ref/QuasiExpr.html | 2 | ||||
| -rw-r--r-- | html-test/ref/QuasiQuote.html | 2 | ||||
| -rw-r--r-- | html-test/ref/TH.html | 2 | ||||
| -rw-r--r-- | html-test/ref/TH2.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Threaded.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Ticket112.html | 2 | ||||
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 210 |
20 files changed, 463 insertions, 359 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html index b3bc60cc..b4ce3c88 100644 --- a/html-test/ref/Bug1004.html +++ b/html-test/ref/Bug1004.html @@ -116,12 +116,8 @@ >Type</a >)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -738,14 +734,14 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq1:8" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:8" ></span > (<a href="#" title="Data.Functor.Classes" - >Eq1</a + >Show1</a > f, <a href="#" title="Data.Functor.Classes" - >Eq1</a + >Show1</a > g) => <a href="#" title="Data.Functor.Classes" - >Eq1</a + >Show1</a > (<a href="#" title="Bug1004" >Product</a > f g)</span @@ -759,7 +755,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Eq1:8" + ><details id="i:id:Product:Show1:8" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -771,67 +767,35 @@ >Methods</p ><p class="src" ><a href="#" - >liftEq</a - > :: (a -> b -> <a href="#" title="Data.Bool" - >Bool</a - >) -> <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" + >liftShowsPrec</a + > :: (<a href="#" title="Data.Int" + >Int</a + > -> a -> <a href="#" title="Text.Show" + >ShowS</a + >) -> ([a] -> <a href="#" title="Text.Show" + >ShowS</a + >) -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Bug1004" >Product</a - > f g b -> <a href="#" title="Data.Bool" - >Bool</a + > f g a -> <a href="#" title="Text.Show" + >ShowS</a > <a href="#" class="selflink" >#</a ></p - ></div - ></details - ></td - ></tr - ><tr - ><td class="src clearfix" - ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord1:9" - ></span - > (<a href="#" title="Data.Functor.Classes" - >Ord1</a - > f, <a href="#" title="Data.Functor.Classes" - >Ord1</a - > g) => <a href="#" title="Data.Functor.Classes" - >Ord1</a - > (<a href="#" title="Bug1004" - >Product</a - > f g)</span - ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td - ></tr - ><tr - ><td colspan="2" - ><details id="i:id:Product:Ord1:9" - ><summary class="hide-when-js-enabled" - >Instance details</summary - ><p - >Defined in <a href="#" - >Data.Functor.Product</a - ></p - > <div class="subs methods" - ><p class="caption" - >Methods</p ><p class="src" ><a href="#" - >liftCompare</a - > :: (a -> b -> <a href="#" title="Data.Ord" - >Ordering</a - >) -> <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" + >liftShowList</a + > :: (<a href="#" title="Data.Int" + >Int</a + > -> a -> <a href="#" title="Text.Show" + >ShowS</a + >) -> ([a] -> <a href="#" title="Text.Show" + >ShowS</a + >) -> [<a href="#" title="Bug1004" >Product</a - > f g b -> <a href="#" title="Data.Ord" - >Ordering</a + > f g a] -> <a href="#" title="Text.Show" + >ShowS</a > <a href="#" class="selflink" >#</a ></p @@ -842,7 +806,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:10" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:9" ></span > (<a href="#" title="Data.Functor.Classes" >Read1</a @@ -863,7 +827,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Read1:10" + ><details id="i:id:Product:Read1:9" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -942,14 +906,14 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:11" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord1:10" ></span > (<a href="#" title="Data.Functor.Classes" - >Show1</a + >Ord1</a > f, <a href="#" title="Data.Functor.Classes" - >Show1</a + >Ord1</a > g) => <a href="#" title="Data.Functor.Classes" - >Show1</a + >Ord1</a > (<a href="#" title="Bug1004" >Product</a > f g)</span @@ -963,7 +927,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Show1:11" + ><details id="i:id:Product:Ord1:10" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -975,35 +939,67 @@ >Methods</p ><p class="src" ><a href="#" - >liftShowsPrec</a - > :: (<a href="#" title="Data.Int" - >Int</a - > -> a -> <a href="#" title="Text.Show" - >ShowS</a - >) -> ([a] -> <a href="#" title="Text.Show" - >ShowS</a - >) -> <a href="#" title="Data.Int" - >Int</a - > -> <a href="#" title="Bug1004" + >liftCompare</a + > :: (a -> b -> <a href="#" title="Data.Ord" + >Ordering</a + >) -> <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Text.Show" - >ShowS</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g b -> <a href="#" title="Data.Ord" + >Ordering</a > <a href="#" class="selflink" >#</a ></p + ></div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq1:11" + ></span + > (<a href="#" title="Data.Functor.Classes" + >Eq1</a + > f, <a href="#" title="Data.Functor.Classes" + >Eq1</a + > g) => <a href="#" title="Data.Functor.Classes" + >Eq1</a + > (<a href="#" title="Bug1004" + >Product</a + > f g)</span + ></td + ><td class="doc" + ><p + ><em + >Since: base-4.9.0.0</em + ></p + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:Product:Eq1:11" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Data.Functor.Product</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p ><p class="src" ><a href="#" - >liftShowList</a - > :: (<a href="#" title="Data.Int" - >Int</a - > -> a -> <a href="#" title="Text.Show" - >ShowS</a - >) -> ([a] -> <a href="#" title="Text.Show" - >ShowS</a - >) -> [<a href="#" title="Bug1004" + >liftEq</a + > :: (a -> b -> <a href="#" title="Data.Bool" + >Bool</a + >) -> <a href="#" title="Bug1004" >Product</a - > f g a] -> <a href="#" title="Text.Show" - >ShowS</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g b -> <a href="#" title="Data.Bool" + >Bool</a > <a href="#" class="selflink" >#</a ></p @@ -1088,14 +1084,14 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:13" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:13" ></span - > (<a href="#" title="Control.Applicative" - >Alternative</a - > f, <a href="#" title="Control.Applicative" - >Alternative</a - > g) => <a href="#" title="Control.Applicative" - >Alternative</a + > (<a href="#" title="Control.Monad" + >MonadPlus</a + > f, <a href="#" title="Control.Monad" + >MonadPlus</a + > g) => <a href="#" title="Control.Monad" + >MonadPlus</a > (<a href="#" title="Bug1004" >Product</a > f g)</span @@ -1109,7 +1105,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Alternative:13" + ><details id="i:id:Product:MonadPlus:13" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -1121,7 +1117,7 @@ >Methods</p ><p class="src" ><a href="#" - >empty</a + >mzero</a > :: <a href="#" title="Bug1004" >Product</a > f g a <a href="#" class="selflink" @@ -1129,7 +1125,7 @@ ></p ><p class="src" ><a href="#" - >(<|>)</a + >mplus</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" @@ -1139,26 +1135,6 @@ > f g a <a href="#" class="selflink" >#</a ></p - ><p class="src" - ><a href="#" - >some</a - > :: <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" - >Product</a - > f g [a] <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >many</a - > :: <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" - >Product</a - > f g [a] <a href="#" class="selflink" - >#</a - ></p ></div ></details ></td @@ -1166,14 +1142,14 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:14" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:14" ></span - > (<a href="#" title="Control.Monad" - >MonadPlus</a - > f, <a href="#" title="Control.Monad" - >MonadPlus</a - > g) => <a href="#" title="Control.Monad" - >MonadPlus</a + > (<a href="#" title="Control.Applicative" + >Alternative</a + > f, <a href="#" title="Control.Applicative" + >Alternative</a + > g) => <a href="#" title="Control.Applicative" + >Alternative</a > (<a href="#" title="Bug1004" >Product</a > f g)</span @@ -1187,7 +1163,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:MonadPlus:14" + ><details id="i:id:Product:Alternative:14" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -1199,7 +1175,7 @@ >Methods</p ><p class="src" ><a href="#" - >mzero</a + >empty</a > :: <a href="#" title="Bug1004" >Product</a > f g a <a href="#" class="selflink" @@ -1207,7 +1183,7 @@ ></p ><p class="src" ><a href="#" - >mplus</a + >(<|>)</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" @@ -1217,6 +1193,26 @@ > f g a <a href="#" class="selflink" >#</a ></p + ><p class="src" + ><a href="#" + >some</a + > :: <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g [a] <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >many</a + > :: <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g [a] <a href="#" class="selflink" + >#</a + ></p ></div ></details ></td @@ -1290,13 +1286,13 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Data:16" ></span - > (<a href="#" title="Type.Reflection" + > (<a href="#" title="Data.Typeable" >Typeable</a - > a, <a href="#" title="Type.Reflection" + > a, <a href="#" title="Data.Typeable" >Typeable</a - > f, <a href="#" title="Type.Reflection" + > f, <a href="#" title="Data.Typeable" >Typeable</a - > g, <a href="#" title="Type.Reflection" + > g, <a href="#" title="Data.Typeable" >Typeable</a > k, <a href="#" title="Data.Data" >Data</a @@ -1382,7 +1378,7 @@ ><p class="src" ><a href="#" >dataCast1</a - > :: <a href="#" title="Type.Reflection" + > :: <a href="#" title="Data.Typeable" >Typeable</a > t => (<span class="keyword" >forall</span @@ -1398,7 +1394,7 @@ ><p class="src" ><a href="#" >dataCast2</a - > :: <a href="#" title="Type.Reflection" + > :: <a href="#" title="Data.Typeable" >Typeable</a > t => (<span class="keyword" >forall</span @@ -1820,12 +1816,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1888,7 +1880,149 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep1:21" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Semigroup:21" + ></span + > (<a href="#" title="Prelude" + >Semigroup</a + > (f a), <a href="#" title="Prelude" + >Semigroup</a + > (g a)) => <a href="#" title="Prelude" + >Semigroup</a + > (<a href="#" title="Bug1004" + >Product</a + > f g a)</span + ></td + ><td class="doc" + ><p + ><em + >Since: base-4.16.0.0</em + ></p + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:Product:Semigroup:21" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Data.Functor.Product</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >(<>)</a + > :: <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >sconcat</a + > :: <a href="#" title="Data.List.NonEmpty" + >NonEmpty</a + > (<a href="#" title="Bug1004" + >Product</a + > f g a) -> <a href="#" title="Bug1004" + >Product</a + > f g a <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >stimes</a + > :: <a href="#" title="Prelude" + >Integral</a + > b => b -> <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a <a href="#" class="selflink" + >#</a + ></p + ></div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Monoid:22" + ></span + > (<a href="#" title="Data.Monoid" + >Monoid</a + > (f a), <a href="#" title="Data.Monoid" + >Monoid</a + > (g a)) => <a href="#" title="Data.Monoid" + >Monoid</a + > (<a href="#" title="Bug1004" + >Product</a + > f g a)</span + ></td + ><td class="doc" + ><p + ><em + >Since: base-4.16.0.0</em + ></p + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:Product:Monoid:22" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >Data.Functor.Product</a + ></p + > <div class="subs methods" + ><p class="caption" + >Methods</p + ><p class="src" + ><a href="#" + >mempty</a + > :: <a href="#" title="Bug1004" + >Product</a + > f g a <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >mappend</a + > :: <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >mconcat</a + > :: [<a href="#" title="Bug1004" + >Product</a + > f g a] -> <a href="#" title="Bug1004" + >Product</a + > f g a <a href="#" class="selflink" + >#</a + ></p + ></div + ></details + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep1:23" ></span > <span class="keyword" >type</span @@ -1900,12 +2034,16 @@ >Type</a >)</span ></td - ><td class="doc empty" - > </td + ><td class="doc" + ><p + ><em + >Since: base-4.9.0.0</em + ></p + ></td ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Rep1:21" + ><details id="i:id:Product:Rep1:23" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -1980,7 +2118,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep:22" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep:24" ></span > <span class="keyword" >type</span @@ -1990,12 +2128,16 @@ >Product</a > f g a)</span ></td - ><td class="doc empty" - > </td + ><td class="doc" + ><p + ><em + >Since: base-4.9.0.0</em + ></p + ></td ></tr ><tr ><td colspan="2" - ><details id="i:id:Product:Rep:22" + ><details id="i:id:Product:Rep:24" ><summary class="hide-when-js-enabled" >Instance details</summary ><p diff --git a/html-test/ref/Bug1033.html b/html-test/ref/Bug1033.html index 736fb2ad..36254447 100644 --- a/html-test/ref/Bug1033.html +++ b/html-test/ref/Bug1033.html @@ -88,10 +88,8 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc" - ><p - >This does some generic foos.</p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -166,8 +164,10 @@ > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - > </td + ><td class="doc" + ><p + >This does some generic foos.</p + ></td ></tr ><tr ><td colspan="2" diff --git a/html-test/ref/Bug1035.html b/html-test/ref/Bug1035.html index 5e4d6f82..6594064e 100644 --- a/html-test/ref/Bug1035.html +++ b/html-test/ref/Bug1035.html @@ -132,7 +132,7 @@ ><p >A link to <code ><a href="#" title="Bug1035" - >Bar</a + >Foo</a ></code ></p ></div diff --git a/html-test/ref/Bug1050.html b/html-test/ref/Bug1050.html index b8b8ff0f..da7ae1d2 100644 --- a/html-test/ref/Bug1050.html +++ b/html-test/ref/Bug1050.html @@ -95,7 +95,7 @@ >forall</span > {k} {f :: <span class="keyword" >forall</span - > k1. k1 -> <a href="#" title="Data.Kind" + > k. k -> <a href="#" title="Data.Kind" >Type</a >} {a :: k}. f a -> <a href="#" title="Bug1050" >T</a diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 59faf609..65ec1cae 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -50,14 +50,14 @@ ><li class="src short" ><span class="keyword" >type family</span - > (a :: <a href="#" title="GHC.TypeNats" - >Nat</a + > (a :: <a href="#" title="Numeric.Natural" + >Natural</a >) <a href="#" >+</a - > (b :: <a href="#" title="GHC.TypeNats" - >Nat</a - >) :: <a href="#" title="GHC.TypeNats" - >Nat</a + > (b :: <a href="#" title="Numeric.Natural" + >Natural</a + >) :: <a href="#" title="Numeric.Natural" + >Natural</a > <span class="keyword" >where ...</span ></li @@ -71,14 +71,14 @@ ><p class="src" ><span class="keyword" >type family</span - > (a :: <a href="#" title="GHC.TypeNats" - >Nat</a + > (a :: <a href="#" title="Numeric.Natural" + >Natural</a >) <a id="t:-43-" class="def" >+</a - > (b :: <a href="#" title="GHC.TypeNats" - >Nat</a - >) :: <a href="#" title="GHC.TypeNats" - >Nat</a + > (b :: <a href="#" title="Numeric.Natural" + >Natural</a + >) :: <a href="#" title="Numeric.Natural" + >Natural</a > <span class="keyword" >where ...</span > <span class="fixity" diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index dc2128ee..1ac40ae4 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -114,12 +114,8 @@ >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" @@ -418,12 +414,8 @@ >WrappedArrow</a > a b c)</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" @@ -500,8 +492,12 @@ >Type</a >)</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" @@ -568,8 +564,12 @@ >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" diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html index 3c7cf13f..e2024f47 100644 --- a/html-test/ref/Bug574.html +++ b/html-test/ref/Bug574.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html index 2434a857..8814129d 100644 --- a/html-test/ref/Bug679.html +++ b/html-test/ref/Bug679.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 73890845..4d6fe69b 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -89,7 +89,7 @@ ><p class="src" ><a id="v:-45--45--62-" class="def" >(-->)</a - > :: p1 -> p2 -> <a href="#" title="Bug8" + > :: p -> p -> <a href="#" title="Bug8" >Typ</a > <span class="fixity" >infix 9</span diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index fb6518af..af1a0265 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" @@ -52,7 +52,7 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" title="GHC.TypeNats" + > :: <a href="#" title="GHC.TypeLits" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -82,7 +82,7 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" title="GHC.TypeNats" + > :: <a href="#" title="GHC.TypeLits" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -123,7 +123,7 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" title="GHC.TypeNats" + > :: <a href="#" title="GHC.TypeLits" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -146,7 +146,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" title="Data.Foldable" + ><a href="#" title="Data.List" >length</a ></code > - 1</code @@ -285,7 +285,7 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" title="GHC.TypeNats" + > :: <a href="#" title="GHC.TypeLits" >Nat</a > -> * -> * <span class="keyword" >where</span diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index b680fe66..faca9016 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" @@ -52,7 +52,7 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" title="GHC.TypeNats" + > :: <a href="#" title="GHC.TypeLits" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -84,7 +84,7 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" title="GHC.TypeNats" + > :: <a href="#" title="GHC.TypeLits" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -125,7 +125,7 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" title="GHC.TypeNats" + > :: <a href="#" title="GHC.TypeLits" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -148,7 +148,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" title="Data.Foldable" + ><a href="#" title="Data.List" >length</a ></code > - 1</code @@ -283,7 +283,7 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" title="GHC.TypeNats" + > :: <a href="#" title="GHC.TypeLits" >Nat</a > -> * -> * <span class="keyword" >where</span diff --git a/html-test/ref/Identifiers.html b/html-test/ref/Identifiers.html index c89e7434..bd0f610e 100644 --- a/html-test/ref/Identifiers.html +++ b/html-test/ref/Identifiers.html @@ -140,7 +140,7 @@ >++</a ></code >, <code - ><a href="#" title="Data.Foldable" + ><a href="#" title="Data.List" >elem</a ></code ></li @@ -162,7 +162,7 @@ >, <code >++</code >, <code - ><a href="#" title="Data.Foldable" + ><a href="#" title="Data.List" >elem</a ></code >, <code @@ -231,7 +231,7 @@ ><li >Unqualified: <code >1 <code - ><a href="#" title="Data.Foldable" + ><a href="#" title="Data.List" >`elem`</a ></code > [-3..3]</code @@ -239,14 +239,14 @@ ><li >Qualified: <code >1 <code - ><a href="#" title="Data.Foldable" + ><a href="#" title="Data.List" >`elem`</a ></code > [-3..3]</code ></li ><li >Namespaced: <code - ><a href="#" title="Data.Foldable" + ><a href="#" title="Data.List" >`elem`</a ></code >, <code diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index ccaffdad..f89e009e 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -52,8 +52,6 @@ >data</span > <a href="#" >Foo</a - > = <a href="#" - >Bar</a ></li ><li class="src short" ><a href="#" @@ -61,12 +59,6 @@ > :: <a href="#" title="Data.Int" >Int</a ></li - ><li class="src short" - ><a href="#" - >bar</a - > :: <a href="#" title="Data.Int" - >Int</a - ></li ></ul ></details ></div @@ -86,22 +78,6 @@ ><p >documentation for Foo</p ></div - ><div class="subs constructors" - ><p class="caption" - >Constructors</p - ><table - ><tr - ><td class="src" - ><a id="v:Bar" class="def" - >Bar</a - ></td - ><td class="doc" - ><p - >Documentation for Bar</p - ></td - ></tr - ></table - ></div ></div ><div class="top" ><p class="src" @@ -117,20 +93,6 @@ >documentation for foo</p ></div ></div - ><div class="top" - ><p class="src" - ><a id="v:bar" class="def" - >bar</a - > :: <a href="#" title="Data.Int" - >Int</a - > <a href="#" class="selflink" - >#</a - ></p - ><div class="doc" - ><p - >documentation for bar</p - ></div - ></div ></div ></div ></body diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 2eb2cda3..e3c7b6e7 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index d828ea1d..1ea51099 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index 8ef49ced..d44d5741 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index f59629a2..1b47e640 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index 3277c468..8391431e 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index 9d04e8c5..bd596be0 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -36,7 +36,7 @@ ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 998b6d8c..7ca50972 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -222,37 +222,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1" - ></span - > '<a href="#" title="TypeFamilies" - >XX</a - > <a href="#" title="TypeFamilies" - >><</a - > '<a href="#" title="TypeFamilies" - >XXX</a - ></span - > <a href="#" class="selflink" - >#</a - ></td - ><td class="doc empty" - > </td - ></tr - ><tr - ><td colspan="2" - ><details id="i:id:X:-62--60-:1" - ><summary class="hide-when-js-enabled" - >Instance details</summary - ><p - >Defined in <a href="#" - >TypeFamilies</a - ></p - ></details - ></td - ></tr - ><tr - ><td class="src clearfix" - ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:2" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:1" ></span > <a href="#" title="TypeFamilies" >Assoc</a @@ -269,7 +239,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:X:Assoc:2" + ><details id="i:id:X:Assoc:1" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -306,7 +276,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:3" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:2" ></span > <a href="#" title="TypeFamilies" >Test</a @@ -323,7 +293,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:X:Test:3" + ><details id="i:id:X:Test:2" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -336,68 +306,56 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:3" ></span - > <span class="keyword" - >type</span - > <a href="#" title="TypeFamilies2" - >Foo</a + > '<a href="#" title="TypeFamilies" + >XX</a > <a href="#" title="TypeFamilies" - >X</a + >><</a + > '<a href="#" title="TypeFamilies" + >XXX</a ></span > <a href="#" class="selflink" >#</a ></td - ><td class="doc" - ><p - >External instance</p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" - ><details id="i:id:X:Foo:4" + ><details id="i:id:X:-62--60-:3" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >TypeFamilies</a ></p - > <div class="src" - ><span class="keyword" - >type</span - > <a href="#" title="TypeFamilies2" - >Foo</a - > <a href="#" title="TypeFamilies" - >X</a - > = <a href="#" title="TypeFamilies" - >Y</a - ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:5" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4" ></span > <span class="keyword" >type</span - > '<a href="#" title="TypeFamilies" - >XXX</a + > <a href="#" title="TypeFamilies2" + >Foo</a > <a href="#" title="TypeFamilies" - ><></a - > '<a href="#" title="TypeFamilies" - >XX</a + >X</a ></span > <a href="#" class="selflink" >#</a ></td - ><td class="doc empty" - > </td + ><td class="doc" + ><p + >External instance</p + ></td ></tr ><tr ><td colspan="2" - ><details id="i:id:X:-60--62-:5" + ><details id="i:id:X:Foo:4" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -407,14 +365,12 @@ > <div class="src" ><span class="keyword" >type</span - > '<a href="#" title="TypeFamilies" - >XXX</a + > <a href="#" title="TypeFamilies2" + >Foo</a > <a href="#" title="TypeFamilies" - ><></a - > '<a href="#" title="TypeFamilies" - >XX</a - > = '<a href="#" title="TypeFamilies" >X</a + > = <a href="#" title="TypeFamilies" + >Y</a ></div ></details ></td @@ -422,7 +378,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:6" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:5" ></span > <span class="keyword" >data</span @@ -439,7 +395,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:X:AssocD:6" + ><details id="i:id:X:AssocD:5" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -462,7 +418,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:7" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:6" ></span > <span class="keyword" >type</span @@ -479,7 +435,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:X:AssocT:7" + ><details id="i:id:X:AssocT:6" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -506,7 +462,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:8" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:7" ></span > <span class="keyword" >data</span @@ -525,7 +481,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:X:Bat:8" + ><details id="i:id:X:Bat:7" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -572,7 +528,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:9" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:8" ></span > <span class="keyword" >type</span @@ -591,7 +547,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:X:Foo:9" + ><details id="i:id:X:Foo:8" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -614,7 +570,7 @@ ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:9" ></span > <span class="keyword" >type</span @@ -633,7 +589,7 @@ ></tr ><tr ><td colspan="2" - ><details id="i:id:X:-60--62-:10" + ><details id="i:id:X:-60--62-:9" ><summary class="hide-when-js-enabled" >Instance details</summary ><p @@ -655,6 +611,50 @@ ></details ></td ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10" + ></span + > <span class="keyword" + >type</span + > '<a href="#" title="TypeFamilies" + >XXX</a + > <a href="#" title="TypeFamilies" + ><></a + > '<a href="#" title="TypeFamilies" + >XX</a + ></span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc empty" + > </td + ></tr + ><tr + ><td colspan="2" + ><details id="i:id:X:-60--62-:10" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" + ><span class="keyword" + >type</span + > '<a href="#" title="TypeFamilies" + >XXX</a + > <a href="#" title="TypeFamilies" + ><></a + > '<a href="#" title="TypeFamilies" + >XX</a + > = '<a href="#" title="TypeFamilies" + >X</a + ></div + ></details + ></td + ></tr ></table ></details ></div @@ -1738,13 +1738,13 @@ ></span > <span class="keyword" >type</span - > '<a href="#" title="TypeFamilies" - >XXX</a + > <a href="#" title="TypeFamilies" + >Y</a > <a href="#" title="TypeFamilies" ><></a - > '<a href="#" title="TypeFamilies" - >XX</a - ></span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -1763,15 +1763,13 @@ > <div class="src" ><span class="keyword" >type</span - > '<a href="#" title="TypeFamilies" - >XXX</a + > <a href="#" title="TypeFamilies" + >Y</a > <a href="#" title="TypeFamilies" ><></a - > '<a href="#" title="TypeFamilies" - >XX</a - > = '<a href="#" title="TypeFamilies" - >X</a - ></div + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = a</div ></details ></td ></tr @@ -1783,7 +1781,7 @@ > <span class="keyword" >type</span > <a href="#" title="TypeFamilies" - >Y</a + >X</a > <a href="#" title="TypeFamilies" ><></a > (a :: <a href="#" title="Data.Kind" @@ -1808,12 +1806,14 @@ ><span class="keyword" >type</span > <a href="#" title="TypeFamilies" - >Y</a + >X</a > <a href="#" title="TypeFamilies" ><></a > (a :: <a href="#" title="Data.Kind" >Type</a - >) = a</div + >) = <a href="#" title="TypeFamilies" + >X</a + ></div ></details ></td ></tr @@ -1824,13 +1824,13 @@ ></span > <span class="keyword" >type</span - > <a href="#" title="TypeFamilies" - >X</a + > '<a href="#" title="TypeFamilies" + >XXX</a > <a href="#" title="TypeFamilies" ><></a - > (a :: <a href="#" title="Data.Kind" - >Type</a - >)</span + > '<a href="#" title="TypeFamilies" + >XX</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -1849,13 +1849,13 @@ > <div class="src" ><span class="keyword" >type</span - > <a href="#" title="TypeFamilies" - >X</a + > '<a href="#" title="TypeFamilies" + >XXX</a > <a href="#" title="TypeFamilies" ><></a - > (a :: <a href="#" title="Data.Kind" - >Type</a - >) = <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" + >XX</a + > = '<a href="#" title="TypeFamilies" >X</a ></div ></details |