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