diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-18 14:54:03 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-19 08:38:47 +0100 |
commit | d59939a4efeaca297cd2ad70a86ad589d1872003 (patch) | |
tree | 538fee46202917e415f506ef591517385eedbf7b /testsuite/tests/typecheck/should_fail/T6018fail.stderr | |
parent | a3c37c3f56759882c6ac8784b8b9ef55c8f8923c (diff) | |
download | haskell-d59939a4efeaca297cd2ad70a86ad589d1872003.tar.gz |
Define TyCoRep.ppSuggestExplicitKinds, and use it
This just defines a useful helper function that was being
duplicated in several places
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T6018fail.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T6018fail.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T6018fail.stderr b/testsuite/tests/typecheck/should_fail/T6018fail.stderr index ac5c2b6fe0..49e89afe54 100644 --- a/testsuite/tests/typecheck/should_fail/T6018fail.stderr +++ b/testsuite/tests/typecheck/should_fail/T6018fail.stderr @@ -67,14 +67,14 @@ T6018fail.hs:59:10: error: T6018fail.hs:62:15: error: Type family equation violates injectivity annotation. Kind variable ‘k’ cannot be inferred from the right-hand side. - (enabling -fprint-explicit-kinds might help) + Use -fprint-explicit-kinds to see the kind arguments In the type family equation: PolyKindVars '[] = '[] -- Defined at T6018fail.hs:62:15 T6018fail.hs:66:15: error: Type family equation violates injectivity annotation. Kind variable ‘k’ cannot be inferred from the right-hand side. - (enabling -fprint-explicit-kinds might help) + Use -fprint-explicit-kinds to see the kind arguments In the type family equation: forall k (a :: k) (b :: k). Fc a b = Int -- Defined at T6018fail.hs:66:15 @@ -83,7 +83,7 @@ T6018fail.hs:70:15: error: Type family equation violates injectivity annotation. Type and kind variables ‘k’, ‘a’, ‘b’ cannot be inferred from the right-hand side. - (enabling -fprint-explicit-kinds might help) + Use -fprint-explicit-kinds to see the kind arguments In the type family equation: forall k (a :: k) (b :: k). Gc a b = Int -- Defined at T6018fail.hs:70:15 @@ -140,7 +140,7 @@ T6018fail.hs:118:15: error: Type family equation violates injectivity annotation. Type and kind variables ‘k’, ‘c’ cannot be inferred from the right-hand side. - (enabling -fprint-explicit-kinds might help) + Use -fprint-explicit-kinds to see the kind arguments In the type family equation: forall k a b (c :: k). G7 a b c = [G7a a b c] -- Defined at T6018fail.hs:118:15 |