Fix COMPACT_NFDATA closure size, more CNF sanity checking
[ghc.git] / testsuite / tests / ghci / scripts / T4175.stdout
1 type family A a b :: *  -- Defined at T4175.hs:7:1
2 type instance A (Maybe a) a = a         -- Defined at T4175.hs:9:15
3 type instance A Int Int = ()    -- Defined at T4175.hs:8:15
4 type instance A (B a) b = ()    -- Defined at T4175.hs:10:15
5 data family B a         -- Defined at T4175.hs:12:1
6 instance [safe] G B -- Defined at T4175.hs:34:10
7 type instance A (B a) b = ()    -- Defined at T4175.hs:10:15
8 data instance B () = MkB        -- Defined at T4175.hs:13:15
9 class C a where
10   type family D a b :: *
11         -- Defined at T4175.hs:16:5
12 type instance D () () = Bool    -- Defined at T4175.hs:22:10
13 type instance D Int () = String         -- Defined at T4175.hs:19:10
14 type family E a :: * where
15     E () = Bool
16     E Int = String
17         -- Defined at T4175.hs:24:1
18 data () = ()    -- Defined in ‘GHC.Tuple’
19 instance [safe] C () -- Defined at T4175.hs:21:10
20 instance Eq () -- Defined in ‘GHC.Classes’
21 instance Monoid () -- Defined in ‘GHC.Base’
22 instance Ord () -- Defined in ‘GHC.Classes’
23 instance Semigroup () -- Defined in ‘GHC.Base’
24 instance Enum () -- Defined in ‘GHC.Enum’
25 instance Show () -- Defined in ‘GHC.Show’
26 instance Read () -- Defined in ‘GHC.Read’
27 instance Bounded () -- Defined in ‘GHC.Enum’
28 type instance D () () = Bool    -- Defined at T4175.hs:22:10
29 type instance D Int () = String         -- Defined at T4175.hs:19:10
30 data instance B () = MkB        -- Defined at T4175.hs:13:15
31 data Maybe a = Nothing | Just a         -- Defined in ‘GHC.Maybe’
32 instance Applicative Maybe -- Defined in ‘GHC.Base’
33 instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Maybe’
34 instance Functor Maybe -- Defined in ‘GHC.Base’
35 instance Monad Maybe -- Defined in ‘GHC.Base’
36 instance Semigroup a => Monoid (Maybe a) -- Defined in ‘GHC.Base’
37 instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Maybe’
38 instance Semigroup a => Semigroup (Maybe a)
39   -- Defined in ‘GHC.Base’
40 instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
41 instance MonadFail Maybe -- Defined in ‘Control.Monad.Fail’
42 instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’
43 instance Foldable Maybe -- Defined in ‘Data.Foldable’
44 instance Traversable Maybe -- Defined in ‘Data.Traversable’
45 type instance A (Maybe a) a = a         -- Defined at T4175.hs:9:15
46 data Int = GHC.Types.I# GHC.Prim.Int#   -- Defined in ‘GHC.Types’
47 instance [safe] C Int -- Defined at T4175.hs:18:10
48 instance Eq Int -- Defined in ‘GHC.Classes’
49 instance Ord Int -- Defined in ‘GHC.Classes’
50 instance Enum Int -- Defined in ‘GHC.Enum’
51 instance Num Int -- Defined in ‘GHC.Num’
52 instance Real Int -- Defined in ‘GHC.Real’
53 instance Show Int -- Defined in ‘GHC.Show’
54 instance Read Int -- Defined in ‘GHC.Read’
55 instance Bounded Int -- Defined in ‘GHC.Enum’
56 instance Integral Int -- Defined in ‘GHC.Real’
57 type instance D Int () = String         -- Defined at T4175.hs:19:10
58 type instance A Int Int = ()    -- Defined at T4175.hs:8:15
59 class Z a       -- Defined at T4175.hs:28:1
60 instance [safe] F (Z a) -- Defined at T4175.hs:31:10