[commit: ghc] wip/type-app: Testsuite wibble (e6ebc5d)

[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/e6ebc5db45feee48e9e4929e0869347fa03258a4/ghc

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

commit e6ebc5db45feee48e9e4929e0869347fa03258a4
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Aug 4 23:04:20 2015 -0400

    Testsuite wibble


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

e6ebc5db45feee48e9e4929e0869347fa03258a4
 testsuite/tests/typecheck/should_fail/T9109.stderr | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/testsuite/tests/typecheck/should_fail/T9109.stderr b/testsuite/tests/typecheck/should_fail/T9109.stderr
index 5ad7601..187ccfe 100644
--- a/testsuite/tests/typecheck/should_fail/T9109.stderr
+++ b/testsuite/tests/typecheck/should_fail/T9109.stderr
@@ -1,14 +1,14 @@
 
 T9109.hs:8:13: error:
-    Couldn't match expected type ‘t0’ with actual type ‘Bool’
-      ‘t0’ is untouchable
-        inside the constraints: t1 ~ Bool
+    Couldn't match expected type ‘r0’ with actual type ‘Bool’
+      ‘r0’ is untouchable
+        inside the constraints: t0 ~ Bool
         bound by a pattern with constructor: GBool :: G Bool,
                  in an equation for ‘foo’
         at T9109.hs:8:5-9
-    ‘t0’ is a rigid type variable bound by
-         the inferred type of foo :: G t1 -> t0 at T9109.hs:8:1
+    ‘r0’ is a rigid type variable bound by
+         the inferred type of foo :: G t0 -> r0 at T9109.hs:8:1
     Possible fix: add a type signature for ‘foo’
-    Relevant bindings include foo :: G t1 -> t0 (bound at T9109.hs:8:1)
+    Relevant bindings include foo :: G t0 -> r0 (bound at T9109.hs:8:1)
     In the expression: True
     In an equation for ‘foo’: foo GBool = True