Don't append newline to parseString input

We also check that we have parsed everything with endOfInput.

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"