[commit: ghc] wip/type-app: Testsuite wibbles (c2fcd95)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/type-app
Link       : http://ghc.haskell.org/trac/ghc/changeset/c2fcd95e7a748ed1ff8bb26b8c341b43b14f7430/ghc

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

commit c2fcd95e7a748ed1ff8bb26b8c341b43b14f7430
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Aug 5 08:40:49 2015 -0400

    Testsuite wibbles


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

c2fcd95e7a748ed1ff8bb26b8c341b43b14f7430
 testsuite/tests/typecheck/should_fail/T1899.stderr |  7 ++++---
 testsuite/tests/typecheck/should_fail/T2414.stderr |  3 ++-
 testsuite/tests/typecheck/should_fail/T2534.stderr |  1 +
 testsuite/tests/typecheck/should_fail/T2688.stderr | 11 ++++++-----
 4 files changed, 13 insertions(+), 9 deletions(-)

diff --git a/testsuite/tests/typecheck/should_fail/T1899.stderr b/testsuite/tests/typecheck/should_fail/T1899.stderr
index 1702afc..3b15266 100644
--- a/testsuite/tests/typecheck/should_fail/T1899.stderr
+++ b/testsuite/tests/typecheck/should_fail/T1899.stderr
@@ -1,9 +1,9 @@
 
 T1899.hs:14:36: error:
     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:9:14
+    ‘a’ is a rigid type variable bound by
+        the type signature for: transRHS :: [a] -> Int -> Constraint a
+        at T1899.hs:9:14
     Expected type: [Proposition a0]
       Actual type: [a]
     Relevant bindings include
@@ -11,3 +11,4 @@ T1899.hs:14:36: error:
       transRHS :: [a] -> Int -> Constraint a (bound at T1899.hs:10:2)
     In the first argument of ‘Auxiliary’, namely ‘varSet’
     In the first argument of ‘Prop’, namely ‘(Auxiliary varSet)’
+    In the expression: Prop (Auxiliary varSet)
diff --git a/testsuite/tests/typecheck/should_fail/T2414.stderr b/testsuite/tests/typecheck/should_fail/T2414.stderr
index 0f797da..f9504ad 100644
--- a/testsuite/tests/typecheck/should_fail/T2414.stderr
+++ b/testsuite/tests/typecheck/should_fail/T2414.stderr
@@ -1,7 +1,8 @@
 
-T2414.hs:9:13:
+T2414.hs:9:13: error:
     Occurs check: cannot construct the infinite type: b0 ~ (Bool, b0)
     Expected type: b0 -> Maybe (Bool, b0)
       Actual type: (Bool, b0) -> Maybe (Bool, b0)
     In the first argument of ‘unfoldr’, namely ‘Just’
     In the expression: unfoldr Just
+    In an equation for ‘f’: f = unfoldr Just
diff --git a/testsuite/tests/typecheck/should_fail/T2534.stderr b/testsuite/tests/typecheck/should_fail/T2534.stderr
index df3a934..a65e051 100644
--- a/testsuite/tests/typecheck/should_fail/T2534.stderr
+++ b/testsuite/tests/typecheck/should_fail/T2534.stderr
@@ -6,3 +6,4 @@ T2534.hs:3:13: error:
     Relevant bindings include foo :: [b0] (bound at T2534.hs:3:1)
     In the first argument of ‘foldr’, namely ‘(>>=)’
     In the expression: foldr (>>=) [] []
+    In an equation for ‘foo’: foo = foldr (>>=) [] []
diff --git a/testsuite/tests/typecheck/should_fail/T2688.stderr b/testsuite/tests/typecheck/should_fail/T2688.stderr
index 4b28d7d..ad2e1ea 100644
--- a/testsuite/tests/typecheck/should_fail/T2688.stderr
+++ b/testsuite/tests/typecheck/should_fail/T2688.stderr
@@ -1,13 +1,14 @@
 
-T2688.hs:8:22:
+T2688.hs:8:22: error:
     Couldn't match expected type ‘v’ with actual type ‘s’
-      ‘s’ is a rigid type variable bound by
-          the class declaration for ‘VectorSpace’ at T2688.hs:5:21
-      ‘v’ is a rigid type variable bound by
-          the class declaration for ‘VectorSpace’ at T2688.hs:5:19
+    ‘s’ is a rigid type variable bound by
+        the class declaration for ‘VectorSpace’ at T2688.hs:5:21
+    ‘v’ is a rigid type variable bound by
+        the class declaration for ‘VectorSpace’ at T2688.hs:5:19
     Relevant bindings include
       s :: s (bound at T2688.hs:8:10)
       v :: v (bound at T2688.hs:8:5)
       (^/) :: v -> s -> v (bound at T2688.hs:8:5)
     In the second argument of ‘(/)’, namely ‘s’
     In the second argument of ‘(*^)’, namely ‘(1 / s)’
+    In the expression: v *^ (1 / s)