Revert "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   type role Sing nominal
7   data family Sing (a :: k)
8     RecFlag: Recursive
9 COERCION AXIOMS
10   axiom DataFamilyInstanceLHS.TFCo:R:SingMyKind_ ::
11       Sing = DataFamilyInstanceLHS.R:SingMyKind_
12 FAMILY INSTANCES
13   data instance Sing
14 Dependent modules: []
15 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
16                      integer-gmp-1.0.0.0]