[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:                  
-----------------------------+----------------------------------------------
 The following code hangs GHC:

 {{{
 {-# LANGUAGE TypeFamilies #-}

 data Foo a = Bar (F a)

 type family F a where
   F (Foo a) = Bool
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/8018
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler