From 4ebde6b0846d29ccab283e9211162dd9c09ccf9a Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Thu, 13 Mar 2014 13:52:40 +0100 Subject: Strip links from recently added html tests These were accidentally left there when the tests were originally added --- html-test/ref/TypeFamilies.html | 230 ++++++++++++++++++++-------------------- 1 file changed, 115 insertions(+), 115 deletions(-) (limited to 'html-test/ref/TypeFamilies.html') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 18bf66e0..d1d54571 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -17,11 +17,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; >
  • data X
  • data Y
  • class Test a
  • type family Foo a :: k
  • data family Bat a :: *
  • class Assoc a where
  • data AssocD a :: *
  • type AssocT a :: *
  • type family Bar b
  • type family a a <> b :: k
  • class a a >< b
    • Assoc * * X
    Test * * X
    (><) X XX XXXtype Foo X = = Ydata Bat X data AssocD * * X = AssocXtype AssocT * * X = = Foo * * Xtype Foo * * X = = Ytype (<>) * * X a = a = Xtype (<>) X XXX XX = = X
    Assoc * * Y
    Test * * Ydata Bar Ydata Bat Y data AssocD * * Y = AssocYtype AssocT * * Y = = Bat Ytype Foo * * Y = = Xtype (<>) * * Y a = a
    Test * * Y
    Test * * Xtype Foo * * Y = = Xtype Foo * * X = = Ydata Bat Y data Bat X
    Assoc * * Y
    Assoc * * X
    Bar X = = X
    Bar y = y = Ytype (<>) * * Y a = atype (<>) * * X a = a = Xtype (<>) X XXX XX = = X
    (><) X XX XXX