diff options
Diffstat (limited to 'html-test/ref')
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" > </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) <- runInteractiveProcess "..." - 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" |