aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/TypeFamilies.html
diff options
context:
space:
mode:
authorSimon Hengel <sol@typeful.net>2013-09-08 10:33:38 +0200
committerAustin Seipp <austin@well-typed.com>2014-01-12 14:48:35 -0600
commit2448bd71609688be7b8bfe362a8534959531cd79 (patch)
tree66f23e3cc5fd6c97da832e8704f8f633e508b64b /html-test/ref/TypeFamilies.html
parent27876dc77ff259e27a71ea6f30662a668adfd134 (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/TypeFamilies.html')
-rw-r--r--html-test/ref/TypeFamilies.html15
1 files changed, 5 insertions, 10 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index e7c4de6e..f3982eb6 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -105,8 +105,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
> a :: *</p
><div class="doc"
><p
- >Type family G
-</p
+ >Type family G</p
></div
></div
><div class="top"
@@ -120,8 +119,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
></p
><div class="doc"
><p
- >A class with an associated type
-</p
+ >A class with an associated type</p
></div
><div class="subs associated-types"
><p class="caption"
@@ -134,8 +132,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
> a :: * -&gt; *</p
><div class="doc"
><p
- >An associated type
-</p
+ >An associated type</p
></div
></div
><div class="subs methods"
@@ -151,8 +148,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
></p
><div class="doc"
><p
- >A method
-</p
+ >A method</p
></div
></div
><div class="subs instances"
@@ -183,8 +179,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
> a </p
><div class="doc"
><p
- >Doc for family
-</p
+ >Doc for family</p
></div
></div
><div class="top"