From c04f44e29f38784e0e958abc683164e33f851c86 Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Thu, 19 Jul 2018 05:39:57 -0700 Subject: Fix HEAD html-test (#860) * Update tests for 'StarIsType' * Accept tests * Revert "Update tests for 'StarIsType'" This reverts commit 7f0c01383bbba6dc5af554ee82988d2cf44e407a. --- html-test/ref/Bug548.html | 270 +++++++++++++++++++++++++++++++++++++--------- 1 file changed, 221 insertions(+), 49 deletions(-) (limited to 'html-test/ref/Bug548.html') diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index a8061eb2..b690b8ad 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -47,7 +47,13 @@ >newtype WrappedArrow (a :: * -> * -> *) b c (a :: Type -> Type -> Type) b c #

Generic1 ( Generic1 (WrappedArrow a b :: * -> *) a b :: Type -> Type)

type Rep1 (WrappedArrow a b) :: k -> *

Rep1 (WrappedArrow a b) :: k -> Type #

from1 :: WrappedArrow a b a0 -> Rep1 ( a b a0 -> Rep1 (WrappedArrow a b) a0

a b) a0 #

to1 :: Rep1 ( :: Rep1 (WrappedArrow a b) a0 -> WrappedArrow a b a0

a b a0 #

Arrow a => Functor ( Arrow a => Functor (WrappedArrow a b)

Since: base-2.1

WrappedArrow a b a0 -> WrappedArrow a b b0

a b b0 #

(<$)WrappedArrow a b b0 -> WrappedArrow a b a0

a b a0 #

Arrow a => Applicative ( Arrow a => Applicative (WrappedArrow a b)

Since: base-2.1

pure :: a0 -> WrappedArrow a b a0

a b a0 #

(<*>)WrappedArrow a b a0 -> WrappedArrow a b b0

a b b0 #

liftA2WrappedArrow a b b0 -> WrappedArrow a b c

a b c #

(*>)WrappedArrow a b b0 -> WrappedArrow a b b0

a b b0 #

(<*)WrappedArrow a b b0 -> WrappedArrow a b a0

a b a0 #

(ArrowZero a, ArrowPlus a) => Alternative ( (ArrowZero a, ArrowPlus a) => Alternative (WrappedArrow a b)

Since: base-2.1

empty :: WrappedArrow a b a0

a b a0 #

(<|>)WrappedArrow a b a0 -> WrappedArrow a b a0

a b a0 #

someWrappedArrow a b a0 -> WrappedArrow a b [a0]

a b [a0] #

manyWrappedArrow a b a0 -> WrappedArrow a b [a0]

a b [a0] #

Generic ( Generic (WrappedArrow a b c)

type Rep (WrappedArrow a b c) :: * -> *

Rep (WrappedArrow a b c) :: Type -> Type #

from :: WrappedArrow a b c -> Rep ( a b c -> Rep (WrappedArrow a b c) x

a b c) x #

to :: Rep ( :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c

a b c #

type Rep1 ( Rep1 (WrappedArrow a b :: * -> *) a b :: Type -> Type)

Since: base-4.7.0.0

type Rep1 ( Rep1 (WrappedArrow a b :: * -> *) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (a b))))
a b :: Type -> Type) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (a b)))) type Rep ( Rep (WrappedArrow a b c)

Since: base-4.7.0.0

type Rep ( Rep (WrappedArrow a b c) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (a b c))))
a b c) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (a b c))))