blob: 4769b2d96cd0ea0d75328fd3f960eb279cdfc464 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T1899.hs:13:13:
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:10:2
Expected type: Constraint a
Actual type: Constraint (Proposition a0)
In the expression:
Formula $ [[Prop (Auxiliary varSet), Prop (Auxiliary varSet)]]
In the expression:
if b < 0 then
Formula [[Prop (Auxiliary undefined)]]
else Formula
$ [[Prop (Auxiliary varSet), Prop (Auxiliary varSet)]]
|
