aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2021-02-04 21:49:05 -0500
committerBen Gamari <ben@smart-cactus.org>2021-02-06 11:53:31 -0500
commitbf8ba2525e95319bdbcfc81d06448b646eba3a57 (patch)
tree83aac2bf137fccb8ae49916da9265b7b7fd41833 /html-test/ref
parente1230ede3d1c77a6916e318aefcd47829e56035c (diff)
parent1bdbf284b4ba20ee1738b13c4e3414384955f6f3 (diff)
Merge remote-tracking branch 'origin/ghc-head' into wip/ghc-head-merge
Diffstat (limited to 'html-test/ref')
-rw-r--r--html-test/ref/Bug1004.html300
-rw-r--r--html-test/ref/Bug1033.html12
-rw-r--r--html-test/ref/Bug1050.html2
-rw-r--r--html-test/ref/Bug548.html32
-rw-r--r--html-test/ref/Bug574.html2
-rw-r--r--html-test/ref/Bug679.html2
-rw-r--r--html-test/ref/Bug8.html2
-rw-r--r--html-test/ref/BundledPatterns.html12
-rw-r--r--html-test/ref/BundledPatterns2.html12
-rw-r--r--html-test/ref/Identifiers.html10
-rw-r--r--html-test/ref/IgnoreExports.html38
-rw-r--r--html-test/ref/QuasiExpr.html2
-rw-r--r--html-test/ref/QuasiQuote.html2
-rw-r--r--html-test/ref/TH.html2
-rw-r--r--html-test/ref/TH2.html2
-rw-r--r--html-test/ref/Threaded.html2
-rw-r--r--html-test/ref/Ticket112.html2
17 files changed, 199 insertions, 237 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html
index 9327f8ee..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"
+ >&nbsp;</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) =&gt; <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 -&gt; b -&gt; <a href="#" title="Data.Bool"
- >Bool</a
- >) -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ >liftShowsPrec</a
+ > :: (<a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; a -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ >) -&gt; <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g b -&gt; <a href="#" title="Data.Bool"
- >Bool</a
+ > f g a -&gt; <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) =&gt; <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 -&gt; b -&gt; <a href="#" title="Data.Ord"
- >Ordering</a
- >) -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ >liftShowList</a
+ > :: (<a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; a -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ >) -&gt; [<a href="#" title="Bug1004"
>Product</a
- > f g b -&gt; <a href="#" title="Data.Ord"
- >Ordering</a
+ > f g a] -&gt; <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) =&gt; <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
- > -&gt; a -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- >) -&gt; <a href="#" title="Data.Int"
- >Int</a
- > -&gt; <a href="#" title="Bug1004"
+ >liftCompare</a
+ > :: (a -&gt; b -&gt; <a href="#" title="Data.Ord"
+ >Ordering</a
+ >) -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Text.Show"
- >ShowS</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g b -&gt; <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) =&gt; <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
- > -&gt; a -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- >) -&gt; [<a href="#" title="Bug1004"
+ >liftEq</a
+ > :: (a -&gt; b -&gt; <a href="#" title="Data.Bool"
+ >Bool</a
+ >) -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a] -&gt; <a href="#" title="Text.Show"
- >ShowS</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g b -&gt; <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) =&gt; <a href="#" title="Control.Applicative"
- >Alternative</a
+ > (<a href="#" title="Control.Monad"
+ >MonadPlus</a
+ > f, <a href="#" title="Control.Monad"
+ >MonadPlus</a
+ > g) =&gt; <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="#"
- >(&lt;|&gt;)</a
+ >mplus</a
> :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <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 -&gt; <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 -&gt; <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) =&gt; <a href="#" title="Control.Monad"
- >MonadPlus</a
+ > (<a href="#" title="Control.Applicative"
+ >Alternative</a
+ > f, <a href="#" title="Control.Applicative"
+ >Alternative</a
+ > g) =&gt; <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
+ >(&lt;|&gt;)</a
> :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <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 -&gt; <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 -&gt; <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 =&gt; (<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 =&gt; (<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"
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -2042,8 +2034,12 @@
>Type</a
>)</span
></td
- ><td class="doc empty"
- >&nbsp;</td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -2132,8 +2128,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- >&nbsp;</td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
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"
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -166,8 +164,10 @@
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc empty"
- >&nbsp;</td
+ ><td class="doc"
+ ><p
+ >This does some generic foos.</p
+ ></td
></tr
><tr
><td colspan="2"
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 -&gt; <a href="#" title="Data.Kind"
+ > k. k -&gt; <a href="#" title="Data.Kind"
>Type</a
>} {a :: k}. f a -&gt; <a href="#" title="Bug1050"
>T</a
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"
+ >&nbsp;</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"
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -500,8 +492,12 @@
>Type</a
>)</span
></td
- ><td class="doc empty"
- >&nbsp;</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"
- >&nbsp;</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"
>(--&gt;)</a
- > :: p1 -&gt; p2 -&gt; <a href="#" title="Bug8"
+ > :: p -&gt; p -&gt; <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
> -&gt; * -&gt; * <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
> -&gt; * -&gt; * <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
> -&gt; * -&gt; * <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
> -&gt; * -&gt; * <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
> -&gt; * -&gt; * <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
> -&gt; * -&gt; * <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
> -&gt; * -&gt; * <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
> -&gt; * -&gt; * <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"