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