Add stderr output

47aebf9a · Simon Peyton Jones · 61b57b26 · 47aebf9a
Commit 47aebf9a authored May 21, 2013 by Simon Peyton Jones
Hide whitespace changes
Inline Side-by-side

Showing with 10 additions and 1 deletion

testsuite/tests/typecheck/should_run/T7861.stderr testsuite/tests/typecheck/should_run/T7861.stderr +10 -1

No files found.
--- a/testsuite/tests/typecheck/should_run/T7861.stderr
+++ b/testsuite/tests/typecheck/should_run/T7861.stderr
- 
\ No newline at end of file
+T7861: T7861.hs:11:5:
+    Couldn't match type ‛a’ with ‛[a0]’
+      ‛a’ is a rigid type variable bound by
+          the type signature for f :: A a -> a at T7861.hs:10:6
+    Expected type: A a -> a
+      Actual type: A a0 -> [a0]
+    Relevant bindings include f :: A a -> a (bound at T7861.hs:11:1)
+    In the expression: doA
+    In an equation for ‛f’: f = doA
+(deferred type error)