690a1c689de212f92f8411b0dfd7b8fdc8dee16c
[ghc.git] / testsuite / tests / partial-sigs / should_compile / NamedWildcardInTypeFamilyInstanceLHS.stderr
1 TYPE CONSTRUCTORS
2   type family F{1} :: * -> *
3     roles nominal
4 COERCION AXIOMS
5   axiom NamedWildcardInTypeFamilyInstanceLHS.D:R:F :: F _t = Int
6 Dependent modules: []
7 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
8                      integer-gmp-1.0.2.0]