Improve output from -ddump-types
[ghc.git] / testsuite / tests / partial-sigs / should_compile / DataFamilyInstanceLHS.stderr
1 TYPE SIGNATURES
2   foo :: Sing 'A
3 TYPE CONSTRUCTORS
4   MyKind :: *
5   type role Sing nominal nominal
6   Sing :: forall k. k -> *
7 COERCION AXIOMS
8   axiom DataFamilyInstanceLHS.D:R:SingMyKind_0 ::
9     Sing _ = DataFamilyInstanceLHS.R:SingMyKind_
10       -- Defined at DataFamilyInstanceLHS.hs:8:15
11 DATA CONSTRUCTORS
12   A :: MyKind
13   B :: MyKind
14   SingA :: Sing 'A
15   SingB :: Sing 'B
16 FAMILY INSTANCES
17   data instance Sing
18 Dependent modules: []
19 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
20                      integer-gmp-1.0.2.0]