[commit: testsuite] master: SimpleFail9 now passes, which is actually fine (01f5abf)

Simon Peyton Jones simonpj at microsoft.com
Tue Jan 29 09:52:58 CET 2013


Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/01f5abf3fbe8d1199a68cf4b42af0b47f416fe54

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

commit 01f5abf3fbe8d1199a68cf4b42af0b47f416fe54
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jan 29 08:52:33 2013 +0000

    SimpleFail9 now passes, which is actually fine

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

 tests/indexed-types/should_fail/SimpleFail9.hs     |    4 +++-
 tests/indexed-types/should_fail/SimpleFail9.stderr |    7 -------
 tests/indexed-types/should_fail/all.T              |    2 +-
 3 files changed, 4 insertions(+), 9 deletions(-)

diff --git a/tests/indexed-types/should_fail/SimpleFail9.hs b/tests/indexed-types/should_fail/SimpleFail9.hs
index d45c983..927c60c 100644
--- a/tests/indexed-types/should_fail/SimpleFail9.hs
+++ b/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
diff --git a/tests/indexed-types/should_fail/SimpleFail9.stderr b/tests/indexed-types/should_fail/SimpleFail9.stderr
deleted file mode 100644
index 4d6ea1c..0000000
--- a/tests/indexed-types/should_fail/SimpleFail9.stderr
+++ /dev/null
@@ -1,7 +0,0 @@
-
-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)'
diff --git a/tests/indexed-types/should_fail/all.T b/tests/indexed-types/should_fail/all.T
index 82c1bce..19b05e6 100644
--- a/tests/indexed-types/should_fail/all.T
+++ b/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, [''])





More information about the ghc-commits mailing list