blob: 5a37c8949a5e2d96e4c7882f3b2569c6f17879de (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T1899.hs:14:36:
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:15
Expected type: [Proposition a0]
Actual type: [a]
In the first argument of `Auxiliary', namely `varSet'
In the first argument of `Prop', namely `(Auxiliary varSet)'
In the expression: Prop (Auxiliary varSet)
|