blob: d7ab2be5ed23e8e797f063147af024733e99ca71 (
plain)
1
2
3
4
5
6
7
8
9
|
T1899.hs:12:29:
Couldn't match expected type `a' with actual type `Proposition a0'
`a' is a rigid type variable bound by
the type signature for transRHS :: [a] -> Int -> Constraint a
at T1899.hs:9:14
In the return type of a call of `Auxiliary'
In the first argument of `Prop', namely `(Auxiliary undefined)'
In the expression: Prop (Auxiliary undefined)
|