[commit: ghc] master: Revert "Test Trac #9318" (888d75c)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/888d75c80bf422cd4d67c44eadce7bdfe5133633/ghc

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

commit 888d75c80bf422cd4d67c44eadce7bdfe5133633
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date:   Sat Nov 22 10:15:29 2014 +0100

    Revert "Test Trac #9318"
    
    This reverts commit 5760eb598e0dfa451407195f15072204c15233ed
    because the very same test was already added via
    5eebd990ea7a5bc1937657b101ae83475e20fc7a and is causing
    `./validate` to fail due to "framework failure".


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

888d75c80bf422cd4d67c44eadce7bdfe5133633
 testsuite/tests/indexed-types/should_fail/T9318.hs     | 12 ------------
 testsuite/tests/indexed-types/should_fail/T9318.stderr |  7 -------
 testsuite/tests/indexed-types/should_fail/all.T        |  1 -
 3 files changed, 20 deletions(-)

diff --git a/testsuite/tests/indexed-types/should_fail/T9318.hs b/testsuite/tests/indexed-types/should_fail/T9318.hs
deleted file mode 100644
index 3110305..0000000
--- a/testsuite/tests/indexed-types/should_fail/T9318.hs
+++ /dev/null
@@ -1,12 +0,0 @@
-{-# LANGUAGE TypeFamilies #-}
-
-module T9318 where
-
-type family F x
-type instance F Int = Bool
-
-foo :: F Int -> ()
-foo True = ()
-
-bar :: F Int -> ()
-bar 'x' = ()
diff --git a/testsuite/tests/indexed-types/should_fail/T9318.stderr b/testsuite/tests/indexed-types/should_fail/T9318.stderr
deleted file mode 100644
index 963d73e..0000000
--- a/testsuite/tests/indexed-types/should_fail/T9318.stderr
+++ /dev/null
@@ -1,7 +0,0 @@
-
-T9318.hs:12:5:
-    Couldn't match type ‘Bool’ with ‘Char’
-    Expected type: F Int
-      Actual type: Char
-    In the pattern: 'x'
-    In an equation for ‘bar’: bar 'x' = ()
diff --git a/testsuite/tests/indexed-types/should_fail/all.T b/testsuite/tests/indexed-types/should_fail/all.T
index 233dc67..93085af 100644
--- a/testsuite/tests/indexed-types/should_fail/all.T
+++ b/testsuite/tests/indexed-types/should_fail/all.T
@@ -131,4 +131,3 @@ test('BadSock', normal, compile_fail, [''])
 test('T9580', normal, multimod_compile_fail, ['T9580', ''])
 test('T9662', normal, compile_fail, [''])
 test('T7862', normal, compile_fail, [''])
-test('T9318', normal, compile_fail, [''])