diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr b/testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr index c39ff6f254..bba0917ec3 100644 --- a/testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr +++ b/testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr @@ -1,7 +1,6 @@ TYPE SIGNATURES TYPE CONSTRUCTORS - type family F a - Kind: * -> * + type family F a :: * where [_t] F _t = Int axiom NamedWildcardInTypeFamilyInstanceLHS.D:R:F |