SimpleFail9 now passes, which is actually fine

testsuite/tests/indexed-types/should_fail/SimpleFail9.hs

@@ -8,6 +8,8 @@ class C7 a b where
 instance C7 Char (a, Bool) where
   data S7 (a, Bool) = S7_1
 
--- must fail: type indexes don't match the instance types
+-- Used to fail, but now passes: 
+-- type indexes don't match the instance types by name
+-- but do by structure
 instance C7 Char (a, Int) where
   data S7 (b, Int) = S7_2

testsuite/tests/indexed-types/should_fail/SimpleFail9.stderr

-
-SimpleFail9.hs:13:3:
-    Type indexes must match class instance head
-    Found `(b, Int)' but expected `(a, Int)'
-    In the data declaration for `S7'
-    In the data instance declaration for `S7'
-    In the instance declaration for `C7 Char (a, Int)'

testsuite/tests/indexed-types/should_fail/all.T

@@ -12,7 +12,7 @@ test('SimpleFail5b', normal, compile_fail, [''])
 test('SimpleFail6', normal, compile_fail, [''])
 test('SimpleFail7', normal, compile_fail, [''])
 test('SimpleFail8', normal, compile_fail, [''])
-test('SimpleFail9', normal, compile_fail, [''])
+test('SimpleFail9', normal, compile, [''])
 test('SimpleFail10', normal, compile, [''])
 test('SimpleFail11a', normal, compile_fail, [''])
 test('SimpleFail11b', normal, compile_fail, [''])