summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T14060.stdout
blob: abef2b145728c1a4047ccd59706610e357b94515 (plain)
1
2
3
4
5
6
7
8
9
10
11
newtype Main.Foo1
  = Main.Foo1 (Data.Proxy.Proxy ('(:) 'GHC.Types.False
                                      ('(:) 'GHC.Types.True
                                            ('(:) 'GHC.Types.False ('[] :: [GHC.Types.Bool])))))
newtype Main.Foo2 (a_0 :: *)
  = Main.Foo2 (Data.Proxy.Proxy (Main.Wurble (GHC.Maybe.Maybe a_0)
                                             ('GHC.Maybe.Nothing :: GHC.Maybe.Maybe a_0)))
newtype Main.Foo3
  = Main.Foo3 (Data.Proxy.Proxy (Main.Foo3Fam2 GHC.Types.Int :: *))
newtype Main.Foo4
  = Main.Foo4 (Data.Proxy.Proxy (Main.Foo4Fam2 GHC.Types.Int :: *))