blob: afafdb30747afb8800fd81932fb53f6112026baf (
plain)
1
2
3
4
5
6
7
8
9
|
T13320.hs:32:21: error:
• Couldn't match type ‘X_Var ξ’ with ‘TermX ξ’
arising from a use of ‘genTerm’
• In the first argument of ‘sized’, namely ‘genTerm’
In the expression: sized genTerm
In an equation for ‘arbitrary’: arbitrary = sized genTerm
• Relevant bindings include
arbitrary :: Gen (TermX ξ) (bound at T13320.hs:32:3)
|