Re: [GHC] #8018: GHC hangs with recursive dependency in closed type family

28 Jun 2013


      #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 
 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