2c067a37479f439ff9298d385e6d4a2fc845ee5f
[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.9.0.0, ghc-prim-0.4.0.0,
14                      integer-gmp-1.0.0.0]