From 69b98a99ce4de93ea0e6082bd11edb3baaf2fa6e Mon Sep 17 00:00:00 2001 From: Alexander Biehl Date: Fri, 2 Mar 2018 15:43:21 +0100 Subject: Make testsuite work with haddock-1.19.0 release (#766) --- html-test/ref/TypeFamilies.html | 544 ++++++++++++++++------------------------ 1 file changed, 221 insertions(+), 323 deletions(-) (limited to 'html-test/ref/TypeFamilies.html') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index dcb5a92a..53c45b45 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -110,7 +110,7 @@ >data family Bat (a :: k) :: (a :: k) :: *
  • data AssocD a :: a :: *
  • type AssocT a :: a :: *
    • (><) X XX >< XXX Assoc * X

    data AssocD X (a :: X) :: :: * #

    type AssocT X (a :: X) :: :: * # Test * X type Foo X

    type Foo X = = Y
    type (<>) X XXX <> XX
    type (<>) X XXX <> XX = = X
    data AssocD * X
    data AssocD * X = AssocX type AssocT * X
    type AssocT * X = = (Foo * X
    :: *)
    data Bat * X
    data Bat * X type Foo * X
    type Foo * X = = Y
    type (<>) * X a <> (a :: *) #
    type (<>) * X a = <> (a :: *) = X
    Assoc * Y

    data AssocD Y (a :: Y) :: :: * #

    type AssocT Y (a :: Y) :: :: * # Test * Y data Bar Y

    data Bar Y
    data AssocD * Y
    data AssocD * Y = AssocY type AssocT * Y
    type AssocT * Y = = Bat * Y
    data Bat * Y
    data Bat * Y = BatY Y
    type Foo * Y
    type Foo * Y = = X
    type (<>) * Y a <> (a :: *) #
    type (<>) * Y a = a
    <> (a :: *) = a
    data Bat (z :: Z) #
    data Bat (z :: Z ) where Test * Y Test * X type Foo * Y
    type Foo * Y = = X
    type Foo * X
    type Foo * X = = Y
    data family Bat (a :: k) :: (a :: k) :: * # data Bat (z :: Z) #
    data Bat (z :: Z ) where data Bat * Y
    data Bat * Y = BatY Y
    data Bat * X
    data Bat * X data AssocD a :: a :: * #type AssocT a :: a :: * # Assoc * Y

    data AssocD Y (a :: Y) :: :: * #

    type AssocT Y (a :: Y) :: :: * # Assoc * X

    data AssocD X (a :: X) :: :: * #

    type AssocT X (a :: X) :: :: * #
    type (<>) * Y a = a
    <> (a :: *) = atype(<>)* X a<> (a :: *)#
    type (<>) * X a = <> (a :: *) = X
    (><) X XX >< XXX
    Bar X = = X
    Bar y = y = Y type (<>) X XXX <> XX
    type (<>) X XXX <> XX = = X
    type (<>) * Y a <> (a :: *) #