Re-layout validate script
[ghc.git] / testsuite / tests / typecheck / should_fail / T13320.stderr
1
2 T13320.hs:32:21: error:
3     • Couldn't match type ‘X_Var ξ’ with ‘TermX ξ’
4         arising from a use of ‘genTerm’
5     • In the first argument of ‘sized’, namely ‘genTerm’
6       In the expression: sized genTerm
7       In an equation for ‘arbitrary’: arbitrary = sized genTerm
8     • Relevant bindings include
9         arbitrary :: Gen (TermX ξ) (bound at T13320.hs:32:3)