[GHC] #7982: ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families

13 Jun 2013

      #7982: ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families
-----------------------------+----------------------------------------------
Reporter:  goldfire          |          Owner:                  
    Type:  bug               |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.7               |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:                  
-----------------------------+----------------------------------------------
 {{{
 {-# LANGUAGE TypeFamilies, PolyKinds #-}

 type family Foo (x :: k)
 }}}

 {{{
 ghci> :k Foo
 *** Exception: ASSERT failed! file compiler/typecheck/TcCanonical.lhs,
 line 520
 }}}

 This was tested on a checkout from 22 May.

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