[commit: ghc] wip/tc/typeable-with-kinds: More testsuite fixes. (d2cffe2)

[git at git.haskell.org]

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

On branch  : wip/tc/typeable-with-kinds
Link       : http://ghc.haskell.org/trac/ghc/changeset/d2cffe244d6408625384de67e383a5fd7a606c28/ghc

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

commit d2cffe244d6408625384de67e383a5fd7a606c28
Author: Austin Seipp <austin at well-typed.com>
Date:   Fri Mar 6 18:16:23 2015 -0600

    More testsuite fixes.
    
    Signed-off-by: Austin Seipp <austin at well-typed.com>


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

d2cffe244d6408625384de67e383a5fd7a606c28
 testsuite/tests/typecheck/should_compile/all.T                |  1 -
 .../tests/typecheck/{should_compile => should_fail}/T9999.hs  |  0
 testsuite/tests/typecheck/should_fail/T9999.stderr            | 11 +++++++++++
 testsuite/tests/typecheck/should_fail/all.T                   |  1 +
 4 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T
index c1ed579..7b3fb9f 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -440,7 +440,6 @@ test('T9892', normal, compile, [''])
 test('T9939', normal, compile, [''])
 test('T9973', normal, compile, [''])
 test('T9971', normal, compile, [''])
-test('T9999', normal, compile, [''])
 test('T10031', normal, compile, [''])
 test('T10072', normal, compile_fail, [''])
 test('T10100', normal, compile, [''])
diff --git a/testsuite/tests/typecheck/should_compile/T9999.hs b/testsuite/tests/typecheck/should_fail/T9999.hs
similarity index 100%
rename from testsuite/tests/typecheck/should_compile/T9999.hs
rename to testsuite/tests/typecheck/should_fail/T9999.hs
diff --git a/testsuite/tests/typecheck/should_fail/T9999.stderr b/testsuite/tests/typecheck/should_fail/T9999.stderr
new file mode 100644
index 0000000..ae7fa28
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T9999.stderr
@@ -0,0 +1,11 @@
+
+T9999.hs:13:38:
+    No instance for (Typeable F1)
+      (maybe you haven't applied a function to enough arguments?)
+      arising from a use of ‘typeRep’
+    In the second argument of ‘(==)’, namely
+      ‘typeRep (Proxy :: Proxy F1)’
+    In the expression:
+      typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)
+    In an equation for ‘main’:
+        main = typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T
index 20eede0..1ebb0a7 100644
--- a/testsuite/tests/typecheck/should_fail/all.T
+++ b/testsuite/tests/typecheck/should_fail/all.T
@@ -353,3 +353,4 @@ test('T9497d', normal, compile_fail, ['-fdefer-type-errors -fno-defer-typed-hole
 test('T8044', normal, compile_fail, [''])
 test('T4921', normal, compile_fail, [''])
 test('T9605', normal, compile_fail, [''])
+test('T9999', normal, compile_fail, [''])