#8018: GHC hangs with recursive dependency in closed type family -----------------------------+---------------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Comment(by eir@…): commit fb96f13eeceb36405fb4ef475df1e57951f88d28 {{{ Author: Richard Eisenberg <eir@cis.upenn.edu> Date: Fri Jun 28 17:27:00 2013 +0100 Fix Trac #8018. Don't use the zonked-in-the-knot types to create a name for the axiom in a closed type family. compiler/typecheck/TcTyClsDecls.lhs | 16 ++++++++++++---- 1 files changed, 12 insertions(+), 4 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8018#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler