[commit: ghc] master: Disable FixEither tests in TcCoercible (5a392ca)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/5a392ca14b3698d1be5166dd7a6a40b268e948e5/ghc

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

commit 5a392ca14b3698d1be5166dd7a6a40b268e948e5
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri May 30 10:04:10 2014 +0200

    Disable FixEither tests in TcCoercible
    
    This fixes #9153. It has not been noticed before because this
    TcCoercible does not run with "make fast=YES"


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

5a392ca14b3698d1be5166dd7a6a40b268e948e5
 testsuite/tests/typecheck/should_run/TcCoercible.hs     | 7 ++++---
 testsuite/tests/typecheck/should_run/TcCoercible.stdout | 2 --
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/testsuite/tests/typecheck/should_run/TcCoercible.hs b/testsuite/tests/typecheck/should_run/TcCoercible.hs
index 7bb8e48..2849840 100644
--- a/testsuite/tests/typecheck/should_run/TcCoercible.hs
+++ b/testsuite/tests/typecheck/should_run/TcCoercible.hs
@@ -23,7 +23,8 @@ newtype NonEtad a b = NonEtad (Either b a) deriving Show
 newtype Fix f = Fix (f (Fix f))
 deriving instance Show (f (Fix f)) => Show (Fix f)
 
-newtype FixEither a = FixEither (Either a (FixEither a)) deriving Show
+-- Later, however, this stopped working (#9117)
+-- newtype FixEither a = FixEither (Either a (FixEither a)) deriving Show
 
 -- This ensures that explicitly given constraints are consulted, even 
 -- at higher depths
@@ -59,8 +60,8 @@ main = do
     print (coerce $ (Fix (Left ()) :: Fix (Either ())) :: Either () (Fix (Either ())))
     print (coerce $ (Left () :: Either () (Fix (Either ()))) :: Fix (Either ()))
 
-    print (coerce $ (FixEither (Left age) :: FixEither Age) :: Either Int (FixEither Int))
-    print (coerce $ (Left one :: Either Int (FixEither Age)) :: FixEither Age)
+    -- print (coerce $ (FixEither (Left age) :: FixEither Age) :: Either Int (FixEither Int))
+    -- print (coerce $ (Left one :: Either Int (FixEither Age)) :: FixEither Age)
 
     print (coerce $ True :: Fam Int)
     print (coerce $ FamInt True :: Bool)
diff --git a/testsuite/tests/typecheck/should_run/TcCoercible.stdout b/testsuite/tests/typecheck/should_run/TcCoercible.stdout
index 7b8071f..8ac2181 100644
--- a/testsuite/tests/typecheck/should_run/TcCoercible.stdout
+++ b/testsuite/tests/typecheck/should_run/TcCoercible.stdout
@@ -14,7 +14,5 @@ List [1]
 NonEtad (Right 1)
 Left ()
 Fix (Left ())
-Left 1
-FixEither (Left (Age 1))
 FamInt True
 True