Commit 99882bab authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Testsuite wibbles from fixing #8953

parent c3ecf060
class GHC.Classes.Eq a_0 => Main.MyClass a_0
class GHC.Classes.Eq a_0 => Main.MyClass (a_0 :: *)
instance Main.MyClass Main.Foo
instance Main.MyClass Main.Baz
instance GHC.Classes.Eq a_1 => Main.MyClass (Main.Quux a_1)
......
data T4188.T1 a_0 = forall b_1 . T4188.MkT1 a_0 b_1
data T4188.T2 a_0
= forall b_1 . (T4188.C a_0, T4188.C b_1) => T4188.MkT2 a_0 b_1
data T4188.T3 x_0
= forall x_1 y_2 . (x_0 ~ (x_1, y_2), T4188.C x_1, T4188.C y_2) =>
T4188.MkT3 x_1 y_2
data T4188.T1 (a_0 :: *) = forall (b_1 :: *) . T4188.MkT1 a_0 b_1
data T4188.T2 (a_0 :: *)
= forall (b_1 :: *) . (T4188.C a_0, T4188.C b_1) =>
T4188.MkT2 a_0 b_1
data T4188.T3 (x_0 :: *)
= forall (x_1 :: *) (y_2 :: *) . (x_0 ~ (x_1, y_2),
T4188.C x_1,
T4188.C y_2) =>
T4188.MkT3 x_1 y_2
......@@ -5,7 +5,7 @@ module T8499 where
import Language.Haskell.TH
$( do TyConI (DataD _ _ [PlainTV tvb_a] _ _) <- reify ''Maybe
$( do TyConI (DataD _ _ [KindedTV tvb_a _] _ _) <- reify ''Maybe
my_a <- newName "a"
return [TySynD (mkName "SMaybe")
[KindedTV my_a (AppT (ConT ''Maybe) (VarT tvb_a))]
......
type family T8884.Foo (a_0 :: k_1) :: k_1 where T8884.Foo x_2 = x_2
type family T8884.Baz (a_0 :: k_1) :: *
type instance T8884.Baz x_0 = x_0
type instance T8884.Baz (x_0 :: *) = x_0
data family T9692.F (a_0 :: k_1) (b_2 :: k_3) :: *
data instance T9692.F GHC.Types.Int x_4 = T9692.FInt x_4
data instance T9692.F GHC.Types.Int (x_4 :: *) = T9692.FInt x_4
data TH_reifyDecl1.T = TH_reifyDecl1.A | TH_reifyDecl1.B
data TH_reifyDecl1.R a_0 = TH_reifyDecl1.C a_0 | TH_reifyDecl1.D
data TH_reifyDecl1.List a_0
data TH_reifyDecl1.R (a_0 :: *)
= TH_reifyDecl1.C a_0 | TH_reifyDecl1.D
data TH_reifyDecl1.List (a_0 :: *)
= TH_reifyDecl1.Nil
| TH_reifyDecl1.Cons a_0 (TH_reifyDecl1.List a_0)
data TH_reifyDecl1.Tree a_0
data TH_reifyDecl1.Tree (a_0 :: *)
= TH_reifyDecl1.Leaf
| (TH_reifyDecl1.Tree a_0) TH_reifyDecl1.:+: (TH_reifyDecl1.Tree a_0)
type TH_reifyDecl1.IntList = [GHC.Types.Int]
newtype TH_reifyDecl1.Length = TH_reifyDecl1.Length GHC.Types.Int
Constructor from TH_reifyDecl1.Tree: TH_reifyDecl1.Leaf :: forall a_0 . TH_reifyDecl1.Tree a_0
Class op from TH_reifyDecl1.C1: TH_reifyDecl1.m1 :: forall a_0 . TH_reifyDecl1.C1 a_0 =>
a_0 -> GHC.Types.Int
Constructor from TH_reifyDecl1.Tree: TH_reifyDecl1.Leaf :: forall (a_0 :: *) . TH_reifyDecl1.Tree a_0
Class op from TH_reifyDecl1.C1: TH_reifyDecl1.m1 :: forall (a_0 :: *) . TH_reifyDecl1.C1 a_0 =>
a_0 -> GHC.Types.Int
infixl 3 TH_reifyDecl1.m1
class TH_reifyDecl1.C1 a_0
where TH_reifyDecl1.m1 :: forall a_0 . TH_reifyDecl1.C1 a_0 =>
a_0 -> GHC.Types.Int
class TH_reifyDecl1.C2 a_0
where TH_reifyDecl1.m2 :: forall a_0 . TH_reifyDecl1.C2 a_0 =>
a_0 -> GHC.Types.Int
class TH_reifyDecl1.C1 (a_0 :: *)
where TH_reifyDecl1.m1 :: forall (a_0 :: *) . TH_reifyDecl1.C1 a_0 =>
a_0 -> GHC.Types.Int
class TH_reifyDecl1.C2 (a_0 :: *)
where TH_reifyDecl1.m2 :: forall (a_0 :: *) . TH_reifyDecl1.C2 a_0 =>
a_0 -> GHC.Types.Int
instance TH_reifyDecl1.C2 GHC.Types.Int
class TH_reifyDecl1.C3 a_0
class TH_reifyDecl1.C3 (a_0 :: *)
instance TH_reifyDecl1.C3 GHC.Types.Int
type family TH_reifyDecl1.AT1 a_0 :: *
type family TH_reifyDecl1.AT1 (a_0 :: *) :: *
type instance TH_reifyDecl1.AT1 GHC.Types.Int = GHC.Types.Bool
data family TH_reifyDecl1.AT2 a_0 :: *
data family TH_reifyDecl1.AT2 (a_0 :: *) :: *
data instance TH_reifyDecl1.AT2 GHC.Types.Int
= TH_reifyDecl1.AT2Int
type family TH_reifyDecl1.TF1 a_0 :: *
type family TH_reifyDecl1.TF2 a_0 :: *
type family TH_reifyDecl1.TF1 (a_0 :: *) :: *
type family TH_reifyDecl1.TF2 (a_0 :: *) :: *
type instance TH_reifyDecl1.TF2 GHC.Types.Bool = GHC.Types.Bool
data family TH_reifyDecl1.DF1 a_0 :: *
data family TH_reifyDecl1.DF2 a_0 :: *
data family TH_reifyDecl1.DF1 (a_0 :: *) :: *
data family TH_reifyDecl1.DF2 (a_0 :: *) :: *
data instance TH_reifyDecl1.DF2 GHC.Types.Bool
= TH_reifyDecl1.DBool
data GHC.Base.Maybe a_0 = GHC.Base.Nothing | GHC.Base.Just a_0
data GHC.Base.Maybe (a_0 :: *)
= GHC.Base.Nothing | GHC.Base.Just a_0
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment