blob: d810d1433f3314f4499f3337f439b57d069d9dfc (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T20122.hs:11:7: error:
• Ambiguous type variable ‘a0’ arising from a use of ‘test’
prevents the constraint ‘(Testable a0)’ from being solved.
Relevant bindings include
foo :: a0 -> Bool (bound at T20122.hs:11:1)
Probable fix: use a type annotation to specify what ‘a0’ should be.
Potentially matching instance:
instance Testable A -- Defined at T20122.hs:8:10
• In the expression: test
In an equation for ‘foo’: foo = test
|