Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T1899.stderr
1
2 T1899.hs:14:36: error:
3     • Couldn't match type ‘a’ with ‘Proposition a0’
4       ‘a’ is a rigid type variable bound by
5         the type signature for:
6           transRHS :: forall a. [a] -> Int -> Constraint a
7         at T1899.hs:9:2-39
8       Expected type: [Proposition a0]
9         Actual type: [a]
10     • In the first argument of ‘Auxiliary’, namely ‘varSet’
11       In the first argument of ‘Prop’, namely ‘(Auxiliary varSet)’
12       In the expression: Prop (Auxiliary varSet)
13     • Relevant bindings include
14         varSet :: [a] (bound at T1899.hs:10:11)
15         transRHS :: [a] -> Int -> Constraint a (bound at T1899.hs:10:2)