blob: 4442069d155596d6089c4d017a289a07d96106a7 (
plain)
1
2
3
4
5
6
7
8
9
10
|
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)
|