diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T1899.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T1899.stderr | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T1899.stderr b/testsuite/tests/typecheck/should_fail/T1899.stderr new file mode 100644 index 0000000000..4769b2d96c --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T1899.stderr @@ -0,0 +1,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)]] |