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/TypeFamilies.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/TypeFamilies.html')
-rw-r--r-- | html-test/ref/TypeFamilies.html | 15 |
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 :: * -> *</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" |