#9153: TcCoercible test is failing with context reduction stack overflow -------------------------------------+------------------------------------ Reporter: ezyang | Owner: Type: bug | Status: closed Priority: low | Milestone: Component: Test Suite | Version: 7.9 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): Just to be clear, the relevant test is this: {{{ newtype FixEither a = FixEither (Either a (FixEither a)) deriving Show -- And then try -- Coercible (FixEither Age) (Either Int (FixEither Int)) -- Coercible (Either Int (FixEither Age)) (FixEither Age) }}} It is entirely moot whether these two "should" work or not. But #9117 suggests not. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9153#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler