diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr b/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr index ec41b123f1..9698ab2c10 100644 --- a/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr +++ b/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr @@ -2,7 +2,7 @@ TYPE SIGNATURES foo :: Sing 'A TYPE CONSTRUCTORS data MyKind = A | B - Promotable + Kind: * data family Sing (a :: k) COERCION AXIOMS axiom DataFamilyInstanceLHS.TFCo:R:SingMyKind_ :: |