diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/IPFail.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/IPFail.stderr | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/typecheck/should_fail/IPFail.stderr b/testsuite/tests/typecheck/should_fail/IPFail.stderr index c617cfb776..1af8948019 100644 --- a/testsuite/tests/typecheck/should_fail/IPFail.stderr +++ b/testsuite/tests/typecheck/should_fail/IPFail.stderr @@ -1,9 +1,9 @@ - -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:5:7-31 - In the expression: 5 - In the expression: let ?x = 5 in ?x - In an equation for ‘f0’: f0 () = let ?x = 5 in ?x +
+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:5:7-31
+ In the expression: 5
+ In the expression: let ?x = 5 in ?x
+ In an equation for ‘f0’: f0 () = let ?x = 5 in ?x
|