Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / partial-sigs / should_compile / DataFamilyInstanceLHS.stderr
1 TYPE SIGNATURES
2   foo :: Sing 'A
3 TYPE CONSTRUCTORS
4   data MyKind = A | B
5     Promotable
6   data family Sing (a :: k)
7 COERCION AXIOMS
8   axiom DataFamilyInstanceLHS.TFCo:R:SingMyKind_ ::
9       Sing = DataFamilyInstanceLHS.R:SingMyKind_
10 FAMILY INSTANCES
11   data instance Sing
12 Dependent modules: []
13 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
14                      integer-gmp-1.0.0.0]