[commit: testsuite] overlapping-tyfams: Updated stderr output on indexed-types tests (9c7080f)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : overlapping-tyfams

http://hackage.haskell.org/trac/ghc/changeset/9c7080f0949831980c03e44b3e49575a9fcf7f73

>---------------------------------------------------------------

commit 9c7080f0949831980c03e44b3e49575a9fcf7f73
Author: Richard Eisenberg <[email protected]>
Date:   Wed Nov 21 14:43:29 2012 -0500

    Updated stderr output on indexed-types tests

>---------------------------------------------------------------

 tests/indexed-types/should_compile/T3017.stderr  |    2 +-
 tests/indexed-types/should_fail/Overlap10.stderr |    2 ++
 tests/indexed-types/should_fail/Overlap6.stderr  |    4 ++++
 tests/indexed-types/should_fail/Overlap9.stderr  |    3 +++
 4 files changed, 10 insertions(+), 1 deletions(-)

diff --git a/tests/indexed-types/should_compile/T3017.stderr b/tests/indexed-types/should_compile/T3017.stderr
index 04a523d..30b5e01 100644
--- a/tests/indexed-types/should_compile/T3017.stderr
+++ b/tests/indexed-types/should_compile/T3017.stderr
@@ -6,7 +6,7 @@ TYPE CONSTRUCTORS
   Coll :: * -> Constraint
   class Coll c
       RecFlag NonRecursive
-      type family Elem c1 :: *
+      type family Elem c :: *
       empty :: c insert :: Elem c -> c -> c
   ListColl :: * -> *
   data ListColl a
diff --git a/tests/indexed-types/should_fail/Overlap10.stderr b/tests/indexed-types/should_fail/Overlap10.stderr
index 22eb517..c8f68ba 100644
--- a/tests/indexed-types/should_fail/Overlap10.stderr
+++ b/tests/indexed-types/should_fail/Overlap10.stderr
@@ -1,5 +1,7 @@
 
 Overlap10.hs:11:5:
     Couldn't match expected type `F a Bool' with actual type `Bool'
+    Relevant bindings include
+      g :: F a Bool (bound at Overlap10.hs:11:1)
     In the expression: False
     In an equation for `g': g = False
diff --git a/tests/indexed-types/should_fail/Overlap6.stderr b/tests/indexed-types/should_fail/Overlap6.stderr
index 8bd6a1d..8149e2d 100644
--- a/tests/indexed-types/should_fail/Overlap6.stderr
+++ b/tests/indexed-types/should_fail/Overlap6.stderr
@@ -7,5 +7,9 @@ Overlap6.hs:16:7:
           at Overlap6.hs:15:6
     Expected type: Proxy Bool (And x 'True)
       Actual type: Proxy Bool x
+    Relevant bindings include
+      g :: Proxy Bool x -> Proxy Bool (And x 'True)
+        (bound at Overlap6.hs:16:1)
+      x :: Proxy Bool x (bound at Overlap6.hs:16:3)
     In the expression: x
     In an equation for `g': g x = x
diff --git a/tests/indexed-types/should_fail/Overlap9.stderr b/tests/indexed-types/should_fail/Overlap9.stderr
index 046d073..d70a76c 100644
--- a/tests/indexed-types/should_fail/Overlap9.stderr
+++ b/tests/indexed-types/should_fail/Overlap9.stderr
@@ -4,6 +4,9 @@ Overlap9.hs:11:7:
     from the context (Show a)
       bound by the type signature for g :: Show a => a -> F a
       at Overlap9.hs:10:6-23
+    Relevant bindings include
+      g :: a -> F a (bound at Overlap9.hs:11:1)
+      x :: a (bound at Overlap9.hs:11:3)
     In the return type of a call of `length'
     In the expression: length (show x)
     In an equation for `g': g x = length (show x)