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