blob: d41c96a787459e59b6c201d4cbf431b9888f3752 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T1899.hs:14:36: error:
Couldn't match type ‘a’ with ‘Proposition a0’
‘a’ is a rigid type variable bound by
the type signature for: transRHS :: [a] -> Int -> Constraint a
at T1899.hs:9:14
Expected type: [Proposition a0]
Actual type: [a]
In the first argument of ‘Auxiliary’, namely ‘varSet’
In the first argument of ‘Prop’, namely ‘(Auxiliary varSet)’
Relevant bindings include
varSet :: [a] (bound at T1899.hs:10:11)
transRHS :: [a] -> Int -> Constraint a (bound at T1899.hs:10:2)
|