diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/IPFail.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/IPFail.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/IPFail.stderr b/testsuite/tests/typecheck/should_fail/IPFail.stderr new file mode 100644 index 0000000000..7d0d8980af --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/IPFail.stderr @@ -0,0 +1,13 @@ + +IPFail.hs:6:18: + Could not deduce (Num Bool) arising from the literal `5' + from the context (?x::Int) + bound by the type signature for f0 :: (?x::Int) => () -> Bool + at IPFail.hs:6:1-24 + Possible fix: + add (Num Bool) to the context of + the type signature for f0 :: (?x::Int) => () -> Bool + or add an instance declaration for (Num Bool) + In the expression: 5 + In the expression: let ?x = 5 in ?x + In an equation for `f0': f0 () = let ?x = 5 in ?x |