b2ead26a95ce3ec6e92ef046ad977b0db8f4f01a
[ghc.git] / testsuite / tests / partial-sigs / should_compile / TypeFamilyInstanceLHS.stderr
1 TYPE SIGNATURES
2   foo :: F Int Char -> Int
3 TYPE CONSTRUCTORS
4   type family F a b :: * open
5 COERCION AXIOMS
6   axiom TypeFamilyInstanceLHS.TFCo:R:FBool_ :: F Bool _ = Bool
7   axiom TypeFamilyInstanceLHS.TFCo:R:FInt_ :: F Int _ = Int
8 FAMILY INSTANCES
9   type instance F Int _
10   type instance F Bool _
11 Dependent modules: []
12 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
13                      integer-gmp-1.0.0.0]