diff options
| author | Simon Hengel <sol@typeful.net> | 2013-09-08 10:33:38 +0200 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-01-12 14:48:35 -0600 |
| commit | 2448bd71609688be7b8bfe362a8534959531cd79 (patch) | |
| tree | 66f23e3cc5fd6c97da832e8704f8f633e508b64b /html-test/ref/Bug7.html | |
| parent | 27876dc77ff259e27a71ea6f30662a668adfd134 (diff) | |
Fix totality, unicode, examples, paragraph parsing
Also simplify specs and parsers while we're at it. Some parsers were
made more generic.
This commit is a part of GHC pre-merge squash, email
fuuzetsu@fuuzetsu.co.uk if you need the full commit history.
Diffstat (limited to 'html-test/ref/Bug7.html')
| -rw-r--r-- | html-test/ref/Bug7.html | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index d3d6ac7d..9f964576 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -47,8 +47,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");}; ><div class="doc" ><p >This module caused a duplicate instance in the documentation for the Foo - type. -</p + type.</p ></div ></div ><div id="synopsis" @@ -83,8 +82,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");}; > </p ><div class="doc" ><p - >The Foo datatype -</p + >The Foo datatype</p ></div ><div class="subs constructors" ><p class="caption" @@ -116,8 +114,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");}; ></td ><td class="doc" ><p - >Just one instance -</p + >Just one instance</p ></td ></tr ></table @@ -133,8 +130,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");}; > x y </p ><div class="doc" ><p - >The Bar class -</p + >The Bar class</p ></div ><div class="subs instances" ><p id="control.i:Bar" class="caption collapser" onclick="toggleSection('i:Bar')" @@ -152,8 +148,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");}; ></td ><td class="doc" ><p - >Just one instance -</p + >Just one instance</p ></td ></tr ></table |