aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref')
-rw-r--r--html-test/ref/A.html2
-rw-r--r--html-test/ref/AdvanceTypes.html2
-rw-r--r--html-test/ref/B.html2
-rw-r--r--html-test/ref/Bug1.html2
-rw-r--r--html-test/ref/Bug2.html2
-rw-r--r--html-test/ref/Bug3.html2
-rw-r--r--html-test/ref/Bug4.html2
-rw-r--r--html-test/ref/Bug6.html2
-rw-r--r--html-test/ref/Bug7.html2
-rw-r--r--html-test/ref/Bug8.html8
-rw-r--r--html-test/ref/BugDeprecated.html20
-rw-r--r--html-test/ref/BugExportHeadings.html47
-rw-r--r--html-test/ref/Bugs.html2
-rw-r--r--html-test/ref/CrossPackageDocs.html35
-rw-r--r--html-test/ref/DeprecatedClass.html14
-rw-r--r--html-test/ref/DeprecatedData.html20
-rw-r--r--html-test/ref/DeprecatedFunction.html5
-rw-r--r--html-test/ref/DeprecatedFunction2.html5
-rw-r--r--html-test/ref/DeprecatedFunction3.html5
-rw-r--r--html-test/ref/DeprecatedModule.html5
-rw-r--r--html-test/ref/DeprecatedModule2.html5
-rw-r--r--html-test/ref/DeprecatedNewtype.html14
-rw-r--r--html-test/ref/DeprecatedReExport.html17
-rw-r--r--html-test/ref/DeprecatedRecord.html5
-rw-r--r--html-test/ref/DeprecatedTypeFamily.html8
-rw-r--r--html-test/ref/DeprecatedTypeSynonym.html8
-rw-r--r--html-test/ref/Examples.html2
-rw-r--r--html-test/ref/FunArgs.html2
-rw-r--r--html-test/ref/GADTRecords.html2
-rw-r--r--html-test/ref/Hash.html20
-rw-r--r--html-test/ref/HiddenInstances.html2
-rw-r--r--html-test/ref/HiddenInstancesB.html2
-rw-r--r--html-test/ref/Hyperlinks.html2
-rw-r--r--html-test/ref/IgnoreExports.html2
-rw-r--r--html-test/ref/ModuleWithWarning.html5
-rw-r--r--html-test/ref/NamedDoc.html2
-rw-r--r--html-test/ref/NoLayout.html2
-rw-r--r--html-test/ref/NonGreedy.html2
-rw-r--r--html-test/ref/Properties.html2
-rw-r--r--html-test/ref/PruneWithWarning.html2
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html2
-rw-r--r--html-test/ref/Test.html80
-rw-r--r--html-test/ref/Ticket253_1.html2
-rw-r--r--html-test/ref/Ticket253_2.html2
-rw-r--r--html-test/ref/Ticket61.html2
-rw-r--r--html-test/ref/Ticket75.html2
-rw-r--r--html-test/ref/TitledPicture.html2
-rw-r--r--html-test/ref/TypeFamilies.html2
-rw-r--r--html-test/ref/TypeOperators.html8
-rw-r--r--html-test/ref/Unicode.html2
-rw-r--r--html-test/ref/Visible.html2
-rw-r--r--html-test/ref/mini_BugExportHeadings.html18
-rw-r--r--html-test/ref/mini_DeprecatedReExport.html6
-rw-r--r--html-test/ref/mini_Hash.html9
-rw-r--r--html-test/ref/mini_Test.html36
-rw-r--r--html-test/ref/mini_TypeOperators.html3
56 files changed, 175 insertions, 293 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index 4ba16b7b..4d55ba16 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_A.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/AdvanceTypes.html b/html-test/ref/AdvanceTypes.html
index 4b9f3517..67920c82 100644
--- a/html-test/ref/AdvanceTypes.html
+++ b/html-test/ref/AdvanceTypes.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_AdvanceTypes.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index 04bbfe09..4dd5d339 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_B.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index fa41e438..d784fbfa 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug1.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 2172e9ac..a7b66556 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug2.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index 495d09c6..fa9000a6 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug3.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index b702e75c..f97f375e 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug4.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 43f383dd..384e4dc8 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index 9cce9ac8..d3d6ac7d 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");};
><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 5a57cfbc..8d4b1129 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -60,7 +60,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};
><a name="v:Type" class="def"
>Type</a
> (<a href=""
- >String</a
+ >Typ</a
>, [<a href=""
>Typ</a
>])</td
@@ -72,9 +72,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};
><a name="v:TFree" class="def"
>TFree</a
> (<a href=""
- >String</a
+ >Typ</a
>, [<a href=""
- >String</a
+ >Typ</a
>])</td
><td class="doc empty"
>&nbsp;</td
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index 956e08b2..b3f63665 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -96,8 +96,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
><div class="doc"
><div class="warning"
><p
- >Deprecated: for foo
-</p
+ >Deprecated: for foo</p
></div
></div
></div
@@ -111,8 +110,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
><div class="doc"
><div class="warning"
><p
- >Deprecated: for baz
-</p
+ >Deprecated: for baz</p
></div
></div
></div
@@ -126,8 +124,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
><div class="doc"
><div class="warning"
><p
- >Deprecated: for bar
-</p
+ >Deprecated: for bar</p
></div
></div
></div
@@ -141,8 +138,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
><div class="doc"
><div class="warning"
><p
- >Deprecated: for one
-</p
+ >Deprecated: for one</p
></div
><p
>some documentation for one, two and three
@@ -159,8 +155,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
><div class="doc"
><div class="warning"
><p
- >Deprecated: for three
-</p
+ >Deprecated: for three</p
></div
><p
>some documentation for one, two and three
@@ -177,8 +172,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
><div class="doc"
><div class="warning"
><p
- >Deprecated: for two
-</p
+ >Deprecated: for two</p
></div
><p
>some documentation for one, two and three
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 1010dc54..7e3ea0d3 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -47,33 +47,27 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
><ul
><li
><a href=""
- >Foo
-</a
+ >Foo</a
></li
><li
><a href=""
- >Bar
-</a
+ >Bar</a
></li
><li
><a href=""
- >Baz
-</a
+ >Baz</a
></li
><li
><a href=""
- >One
-</a
+ >One</a
></li
><li
><a href=""
- >Two
-</a
+ >Two</a
></li
><li
><a href=""
- >Three
-</a
+ >Three</a
></li
></ul
></div
@@ -121,8 +115,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
></div
><div id="interface"
><h1 id="g:1"
- >Foo
-</h1
+ >Foo</h1
><div class="top"
><p class="src"
><a name="v:foo" class="def"
@@ -132,8 +125,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
></p
></div
><h1 id="g:2"
- >Bar
-</h1
+ >Bar</h1
><div class="top"
><p class="src"
><a name="v:bar" class="def"
@@ -143,8 +135,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
></p
></div
><h1 id="g:3"
- >Baz
-</h1
+ >Baz</h1
><div class="top"
><p class="src"
><a name="v:baz" class="def"
@@ -154,8 +145,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
></p
></div
><h1 id="g:4"
- >One
-</h1
+ >One</h1
><div class="top"
><p class="src"
><a name="v:one" class="def"
@@ -166,14 +156,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
><div class="doc"
><div class="warning"
><p
- >Deprecated: for one
-</p
+ >Deprecated: for one</p
></div
></div
></div
><h1 id="g:5"
- >Two
-</h1
+ >Two</h1
><div class="top"
><p class="src"
><a name="v:two" class="def"
@@ -184,14 +172,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
><div class="doc"
><div class="warning"
><p
- >Deprecated: for two
-</p
+ >Deprecated: for two</p
></div
></div
></div
><h1 id="g:6"
- >Three
-</h1
+ >Three</h1
><div class="top"
><p class="src"
><a name="v:three" class="def"
@@ -202,8 +188,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
><div class="doc"
><div class="warning"
><p
- >Deprecated: for three
-</p
+ >Deprecated: for three</p
></div
></div
></div
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index 0b4c349a..d38c455b 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bugs.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/CrossPackageDocs.html b/html-test/ref/CrossPackageDocs.html
index 8eff9e3c..0bbc7a6d 100644
--- a/html-test/ref/CrossPackageDocs.html
+++ b/html-test/ref/CrossPackageDocs.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -116,12 +116,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
> to each element
of <code
>xs</code
- >, i.e.,
-</p
+ >, i.e.,</p
><pre
> map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn]
- map f [x1, x2, ...] == [f x1, f x2, ...]
-</pre
+ map f [x1, x2, ...] == [f x1, f x2, ...]</pre
></div
></div
><div class="top"
@@ -136,8 +134,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
><div class="doc"
><p
>Class for string-like datastructures; used by the overloaded string
- extension (-XOverloadedStrings in GHC).
-</p
+ extension (-XOverloadedStrings in GHC).</p
></div
><div class="subs methods"
><p class="caption"
@@ -188,8 +185,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
><a href=""
>proc</a
></code
- > for details)
-</p
+ > for details)</p
></td
></tr
><tr
@@ -199,8 +195,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
>]</td
><td class="doc"
><p
- >Arguments to pass to the executable
-</p
+ >Arguments to pass to the executable</p
></td
></tr
><tr
@@ -212,8 +207,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
></td
><td class="doc"
><p
- >Optional path to the working directory
-</p
+ >Optional path to the working directory</p
></td
></tr
><tr
@@ -227,8 +221,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
>)]</td
><td class="doc"
><p
- >Optional environment (otherwise inherit)
-</p
+ >Optional environment (otherwise inherit)</p
></td
></tr
><tr
@@ -262,15 +255,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
>stdout</code
> and <code
>stderr</code
- > respectively.
-</p
+ > respectively.</p
><p
- >For example, to start a process and feed a string to its stdin:
-</p
+ >For example, to start a process and feed a string to its stdin:</p
><pre
> (inp,out,err,pid) &lt;- runInteractiveProcess &quot;...&quot;
- forkIO (hPutStr inp str)
-</pre
+ forkIO (hPutStr inp str)</pre
><p
>The <code
><a href=""
@@ -281,8 +271,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
><a href=""
>hSetBinaryMode</a
></code
- >.
-</p
+ >.</p
></div
></div
></div
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index 3a2d73a6..99eea1bd 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html")
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -90,8 +90,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html")
><div class="doc"
><div class="warning"
><p
- >Deprecated: SomeClass
-</p
+ >Deprecated: SomeClass</p
></div
><p
>some class
@@ -107,8 +106,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html")
><div class="doc"
><div class="warning"
><p
- >Deprecated: foo
-</p
+ >Deprecated: foo</p
></div
><p
>documentation for foo
@@ -128,8 +126,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html")
><div class="doc"
><div class="warning"
><p
- >Deprecated: SomeOtherClass
-</p
+ >Deprecated: SomeOtherClass</p
></div
></div
><div class="subs methods"
@@ -142,8 +139,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html")
><div class="doc"
><div class="warning"
><p
- >Deprecated: bar
-</p
+ >Deprecated: bar</p
></div
></div
></div
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 03efdc4c..254ae11e 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -92,8 +92,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
><div class="doc"
><div class="warning"
><p
- >Deprecated: Foo
-</p
+ >Deprecated: Foo</p
></div
><p
>type Foo
@@ -111,8 +110,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
><td class="doc"
><div class="warning"
><p
- >Deprecated: Foo
-</p
+ >Deprecated: Foo</p
></div
><p
>constructor Foo
@@ -127,8 +125,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
><td class="doc"
><div class="warning"
><p
- >Deprecated: Bar
-</p
+ >Deprecated: Bar</p
></div
><p
>constructor Bar
@@ -148,8 +145,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
><div class="doc"
><div class="warning"
><p
- >Deprecated: One
-</p
+ >Deprecated: One</p
></div
></div
><div class="subs constructors"
@@ -164,8 +160,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
><td class="doc"
><div class="warning"
><p
- >Deprecated: One
-</p
+ >Deprecated: One</p
></div
></td
></tr
@@ -177,8 +172,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
><td class="doc"
><div class="warning"
><p
- >Deprecated: Two
-</p
+ >Deprecated: Two</p
></div
></td
></tr
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index 621b2d07..2ee6d01e 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction.htm
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -76,8 +76,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction.htm
><a href=""
>bar</a
></code
- > instead
-</p
+ > instead</p
></div
><p
>some documentation for foo
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index 023081b3..f212adf2 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.ht
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -66,8 +66,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.ht
><div class="doc"
><div class="warning"
><p
- >Deprecated: use bar instead
-</p
+ >Deprecated: use bar instead</p
></div
></div
></div
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index c2d31c69..9cb06812 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction3.ht
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -66,8 +66,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction3.ht
><div class="doc"
><div class="warning"
><p
- >Deprecated: use bar instead
-</p
+ >Deprecated: use bar instead</p
></div
></div
></div
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index b98615ed..1ff1e61f 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.html"
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -49,8 +49,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.html"
><p
>Deprecated: Use <a href=""
>Foo</a
- > instead
-</p
+ > instead</p
></div
><p
>Documentation for <a href=""
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index a4f621d3..65de4400 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule2.html
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -47,8 +47,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule2.html
><div class="doc"
><div class="warning"
><p
- >Deprecated: Use Foo instead
-</p
+ >Deprecated: Use Foo instead</p
></div
></div
></div
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index 81a883e0..b3675ccf 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -80,8 +80,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html
><div class="doc"
><div class="warning"
><p
- >Deprecated: SomeNewType
-</p
+ >Deprecated: SomeNewType</p
></div
><p
>some documentation
@@ -101,8 +100,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html
><td class="doc"
><div class="warning"
><p
- >Deprecated: SomeNewTypeConst
-</p
+ >Deprecated: SomeNewTypeConst</p
></div
><p
>constructor docu
@@ -122,8 +120,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html
><div class="doc"
><div class="warning"
><p
- >Deprecated: SomeOtherNewType
-</p
+ >Deprecated: SomeOtherNewType</p
></div
></div
><div class="subs constructors"
@@ -140,8 +137,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html
><td class="doc"
><div class="warning"
><p
- >Deprecated: SomeOtherNewTypeConst
-</p
+ >Deprecated: SomeOtherNewTypeConst</p
></div
></td
></tr
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index a5bd5027..159c1086 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExport.htm
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -47,13 +47,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExport.htm
><ul
><li
><a href=""
- >Re-exported from an other module
-</a
+ >Re-exported from an other module</a
></li
><li
><a href=""
- >Re-exported from an other package
-</a
+ >Re-exported from an other package</a
></li
></ul
></div
@@ -85,8 +83,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExport.htm
></div
><div id="interface"
><h1 id="g:1"
- >Re-exported from an other module
-</h1
+ >Re-exported from an other module</h1
><div class="top"
><p class="src"
><a name="v:foo" class="def"
@@ -101,8 +98,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExport.htm
><a href=""
>bar</a
></code
- > instead
-</p
+ > instead</p
></div
><p
>some documentation for foo
@@ -110,8 +106,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExport.htm
></div
></div
><h1 id="g:2"
- >Re-exported from an other package
-</h1
+ >Re-exported from an other package</h1
><div class="doc"
><p
>Not yet working, see <a href=""
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index ac510aa0..5f84dfa8 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedRecord.html"
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -122,8 +122,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedRecord.html"
><dd class="doc"
><div class="warning"
><p
- >Deprecated: do not use this
-</p
+ >Deprecated: do not use this</p
></div
><p
>some value
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index 874272b7..b9f49036 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFamily.h
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -72,8 +72,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFamily.h
><div class="doc"
><div class="warning"
><p
- >Deprecated: SomeTypeFamily
-</p
+ >Deprecated: SomeTypeFamily</p
></div
><p
>some documentation
@@ -90,8 +89,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFamily.h
><div class="doc"
><div class="warning"
><p
- >Deprecated: SomeOtherTypeFamily
-</p
+ >Deprecated: SomeOtherTypeFamily</p
></div
></div
></div
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index 457afb93..fe305da7 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeSynonym.
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -78,8 +78,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeSynonym.
><div class="doc"
><div class="warning"
><p
- >Deprecated: TypeSyn
-</p
+ >Deprecated: TypeSyn</p
></div
><p
>some documentation
@@ -98,8 +97,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeSynonym.
><div class="doc"
><div class="warning"
><p
- >Deprecated: OtherTypeSyn
-</p
+ >Deprecated: OtherTypeSyn</p
></div
></div
></div
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index 1652036f..f14e226b 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Examples.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index 06bb8d95..c8c6a25d 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 5c6a08a7..a461e075 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 09ada75e..06a7a19d 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -49,15 +49,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");};
><a href=""
>The <code
>HashTable</code
- > type
-</a
+ > type</a
><ul
><li
><a href=""
>Operations on <code
>HashTable</code
- >s
-</a
+ >s</a
></li
></ul
></li
@@ -65,8 +63,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");};
><a href=""
>The <code
>Hash</code
- > class
-</a
+ > class</a
></li
></ul
></div
@@ -146,8 +143,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");};
><h1 id="g:1"
>The <code
>HashTable</code
- > type
-</h1
+ > type</h1
><div class="top"
><p class="src"
><span class="keyword"
@@ -175,8 +171,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");};
><h2 id="g:2"
>Operations on <code
>HashTable</code
- >s
-</h2
+ >s</h2
><div class="top"
><p class="src"
><a name="v:new" class="def"
@@ -246,8 +241,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");};
><h1 id="g:3"
>The <code
>Hash</code
- > class
-</h1
+ > class</h1
><div class="top"
><p class="src"
><span class="keyword"
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index a5fa405d..3ca45640 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstances.html")
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index 84887672..248b7839 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstancesB.html"
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index f63f49e2..91237eb2 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hyperlinks.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index 7ae660e5..8181829b 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_IgnoreExports.html");}
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index ace9deb6..5d8b3832 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_ModuleWithWarning.html
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -49,8 +49,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_ModuleWithWarning.html
><p
>Warning: This is an unstable interface. Prefer functions from <a href=""
>Prelude</a
- > instead!
-</p
+ > instead!</p
></div
><p
>Documentation for <a href=""
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index a00360ee..9c929548 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NamedDoc.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index ff82d420..13c90f3e 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index db79dbfe..8d8f26a5 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NonGreedy.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index c1796570..3e590b45 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Properties.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index 8c840fee..220576fa 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PruneWithWarning.html"
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 3ccbeef9..9b9d8087 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_SpuriousSuperclassCons
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index d9663da2..9a25f960 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -65,7 +65,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -77,65 +77,53 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");};
><ul
><li
><a href=""
- >Type declarations
-</a
+ >Type declarations</a
><ul
><li
><a href=""
- >Data types
-</a
+ >Data types</a
></li
><li
><a href=""
- >Records
-</a
+ >Records</a
></li
></ul
></li
><li
><a href=""
- >Class declarations
-</a
+ >Class declarations</a
></li
><li
><a href=""
- >Function types
-</a
+ >Function types</a
></li
><li
><a href=""
- >Auxiliary stuff
-</a
+ >Auxiliary stuff</a
></li
><li
><a href=""
- >A hidden module
-</a
+ >A hidden module</a
></li
><li
><a href=""
- >A visible module
-</a
+ >A visible module</a
></li
><li
><a href=""
- >Existential / Universal types
-</a
+ >Existential / Universal types</a
></li
><li
><a href=""
- >Type signatures with argument docs
-</a
+ >Type signatures with argument docs</a
></li
><li
><a href=""
- >A section
-</a
+ >A section</a
><ul
><li
><a href=""
- >A subsection
-</a
+ >A subsection</a
></li
></ul
></li
@@ -675,11 +663,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");};
></div
><div id="interface"
><h1 id="g:1"
- >Type declarations
-</h1
+ >Type declarations</h1
><h2 id="g:2"
- >Data types
-</h2
+ >Data types</h2
><div class="top"
><p class="src"
><span class="keyword"
@@ -1044,7 +1030,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");};
><a href=""
>n3</a
></code
- > field
+ > field
</p
></dd
></dl
@@ -1209,8 +1195,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");};
></div
></div
><h2 id="g:3"
- >Records
-</h2
+ >Records</h2
><div class="top"
><p class="src"
><span class="keyword"
@@ -1512,8 +1497,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");};
</p
></div
><h1 id="g:4"
- >Class declarations
-</h1
+ >Class declarations</h1
><div class="top"
><p class="src"
><span class="keyword"
@@ -1663,8 +1647,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");};
</p
></div
><h1 id="g:5"
- >Function types
-</h1
+ >Function types</h1
><div class="top"
><p class="src"
><a name="v:f" class="def"
@@ -1753,8 +1736,7 @@ using double quotes: <a href=""
></div
></div
><h1 id="g:6"
- >Auxiliary stuff
-</h1
+ >Auxiliary stuff</h1
><div class="doc"
><p
>This is some documentation that is attached to a name ($aux1)
@@ -1865,8 +1847,7 @@ test2
</pre
></div
><h1 id="g:7"
- >A hidden module
-</h1
+ >A hidden module</h1
><div class="top"
><p class="src"
><a name="v:hidden" class="def"
@@ -1878,8 +1859,7 @@ test2
></p
></div
><h1 id="g:8"
- >A visible module
-</h1
+ >A visible module</h1
><div class="top"
><p class="src"
>module <a href=""
@@ -1892,8 +1872,7 @@ test2
</p
></div
><h1 id="g:9"
- >Existential / Universal types
-</h1
+ >Existential / Universal types</h1
><div class="top"
><p class="src"
><span class="keyword"
@@ -1958,8 +1937,7 @@ test2
></div
></div
><h1 id="g:10"
- >Type signatures with argument docs
-</h1
+ >Type signatures with argument docs</h1
><div class="top"
><p class="src"
><a name="v:k" class="def"
@@ -2141,7 +2119,7 @@ test2
></div
><div class="doc"
><p
- >This function has some arg docs
+ >This function has some arg docs
</p
></div
></div
@@ -2187,11 +2165,9 @@ test2
></div
></div
><h1 id="g:11"
- >A section
-</h1
+ >A section</h1
><h2 id="g:12"
- >A subsection
-</h2
+ >A subsection</h2
><div class="doc"
><pre
> a literal line
@@ -2215,7 +2191,7 @@ test2
><a href=""
>f'</a
></code
- >
+ >
but f' doesn't get link'd 'f\''
</p
></div
diff --git a/html-test/ref/Ticket253_1.html b/html-test/ref/Ticket253_1.html
index baa0742a..2bcc2e21 100644
--- a/html-test/ref/Ticket253_1.html
+++ b/html-test/ref/Ticket253_1.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket253_1.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Ticket253_2.html b/html-test/ref/Ticket253_2.html
index 45a3a0e0..aabe3486 100644
--- a/html-test/ref/Ticket253_2.html
+++ b/html-test/ref/Ticket253_2.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket253_2.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index bc26df47..e0858dc0 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket61.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index 98181aa8..4caa1196 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index 34788690..c3f2bbbc 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TitledPicture.html");}
><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 2fb22822..e7c4de6e 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index 5aed67f5..0c5a5c2d 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");}
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
@@ -47,8 +47,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");}
><ul
><li
><a href=""
- >stuff
-</a
+ >stuff</a
></li
></ul
></div
@@ -98,8 +97,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");}
></div
><div id="interface"
><h1 id="g:1"
- >stuff
-</h1
+ >stuff</h1
><div class="top"
><p class="src"
><span class="keyword"
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 90f1f8d0..747cedb5 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Unicode.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index 7f6de82f..c7b0e1b9 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Visible.html");};
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe-Inferred</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/mini_BugExportHeadings.html b/html-test/ref/mini_BugExportHeadings.html
index b481720d..e170b41a 100644
--- a/html-test/ref/mini_BugExportHeadings.html
+++ b/html-test/ref/mini_BugExportHeadings.html
@@ -20,8 +20,7 @@ window.onload = function () {pageLoad();};
></div
><div id="interface"
><h1
- >Foo
-</h1
+ >Foo</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -29,8 +28,7 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >Bar
-</h1
+ >Bar</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -38,8 +36,7 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >Baz
-</h1
+ >Baz</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -47,8 +44,7 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >One
-</h1
+ >One</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -56,8 +52,7 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >Two
-</h1
+ >Two</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -65,8 +60,7 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >Three
-</h1
+ >Three</h1
><div class="top"
><p class="src"
><a href="" target="main"
diff --git a/html-test/ref/mini_DeprecatedReExport.html b/html-test/ref/mini_DeprecatedReExport.html
index 8316dda5..405926b1 100644
--- a/html-test/ref/mini_DeprecatedReExport.html
+++ b/html-test/ref/mini_DeprecatedReExport.html
@@ -20,8 +20,7 @@ window.onload = function () {pageLoad();};
></div
><div id="interface"
><h1
- >Re-exported from an other module
-</h1
+ >Re-exported from an other module</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -29,8 +28,7 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >Re-exported from an other package
-</h1
+ >Re-exported from an other package</h1
></div
></body
></html
diff --git a/html-test/ref/mini_Hash.html b/html-test/ref/mini_Hash.html
index 1e6ad1a9..a0a68840 100644
--- a/html-test/ref/mini_Hash.html
+++ b/html-test/ref/mini_Hash.html
@@ -22,8 +22,7 @@ window.onload = function () {pageLoad();};
><h1
>The <code
>HashTable</code
- > type
-</h1
+ > type</h1
><div class="top"
><p class="src"
><span class="keyword"
@@ -35,8 +34,7 @@ window.onload = function () {pageLoad();};
><h2
>Operations on <code
>HashTable</code
- >s
-</h2
+ >s</h2
><div class="top"
><p class="src"
><a href="" target="main"
@@ -58,8 +56,7 @@ window.onload = function () {pageLoad();};
><h1
>The <code
>Hash</code
- > class
-</h1
+ > class</h1
><div class="top"
><p class="src"
><span class="keyword"
diff --git a/html-test/ref/mini_Test.html b/html-test/ref/mini_Test.html
index 26db2c0f..8cd3321a 100644
--- a/html-test/ref/mini_Test.html
+++ b/html-test/ref/mini_Test.html
@@ -20,11 +20,9 @@ window.onload = function () {pageLoad();};
></div
><div id="interface"
><h1
- >Type declarations
-</h1
+ >Type declarations</h1
><h2
- >Data types
-</h2
+ >Data types</h2
><div class="top"
><p class="src"
><span class="keyword"
@@ -130,8 +128,7 @@ window.onload = function () {pageLoad();};
> a b</p
></div
><h2
- >Records
-</h2
+ >Records</h2
><div class="top"
><p class="src"
><span class="keyword"
@@ -149,8 +146,7 @@ window.onload = function () {pageLoad();};
> </p
></div
><h1
- >Class declarations
-</h1
+ >Class declarations</h1
><div class="top"
><p class="src"
><span class="keyword"
@@ -184,8 +180,7 @@ window.onload = function () {pageLoad();};
> a</p
></div
><h1
- >Function types
-</h1
+ >Function types</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -193,11 +188,9 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >Auxiliary stuff
-</h1
+ >Auxiliary stuff</h1
><h1
- >A hidden module
-</h1
+ >A hidden module</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -205,11 +198,9 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >A visible module
-</h1
+ >A visible module</h1
><h1
- >Existential / Universal types
-</h1
+ >Existential / Universal types</h1
><div class="top"
><p class="src"
><span class="keyword"
@@ -219,8 +210,7 @@ window.onload = function () {pageLoad();};
> a</p
></div
><h1
- >Type signatures with argument docs
-</h1
+ >Type signatures with argument docs</h1
><div class="top"
><p class="src"
><a href="" target="main"
@@ -240,11 +230,9 @@ window.onload = function () {pageLoad();};
></p
></div
><h1
- >A section
-</h1
+ >A section</h1
><h2
- >A subsection
-</h2
+ >A subsection </h2
><div class="top"
><p class="src"
><a href="" target="main"
diff --git a/html-test/ref/mini_TypeOperators.html b/html-test/ref/mini_TypeOperators.html
index 86b6beec..02bc918b 100644
--- a/html-test/ref/mini_TypeOperators.html
+++ b/html-test/ref/mini_TypeOperators.html
@@ -20,8 +20,7 @@ window.onload = function () {pageLoad();};
></div
><div id="interface"
><h1
- >stuff
-</h1
+ >stuff</h1
><div class="top"
><p class="src"
><span class="keyword"