Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T13320.stderr
1
2 T13320.hs:32:21: error:
3     • Couldn't match expected type ‘TermX ξ’ with actual type ‘X_Var ξ’
4     • In the first argument of ‘sized’, namely ‘genTerm’
5       In the expression: sized genTerm
6       In an equation for ‘arbitrary’: arbitrary = sized genTerm
7     • Relevant bindings include
8         arbitrary :: Gen (TermX ξ) (bound at T13320.hs:32:3)