[GHC] #7696: Another kindFunResult panic

GHC cvs-ghc at haskell.org
Fri Feb 15 22:56:51 CET 2013


#7696: Another kindFunResult panic
-----------------------------+----------------------------------------------
Reporter:  nwf               |          Owner:                  
    Type:  bug               |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.6.2             |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:                  
-----------------------------+----------------------------------------------
 While working at the GHCi prompt, I left off a pair of parens, yielding:

 {{{
 > import Control.Applicative
 > import Control.Monad.Trans
 > :type \x -> (either (fmap Right) id) <$> lift $ x
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.7.20130214 for x86_64-unknown-linux):
         kindFunResult
 <<details unavailable>>

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}

 Replacing `<$> lift $ x` with `<$> (lift $ x)`, which is what I'd meant,
 makes everybody happier. But as this happens in both 7.6.2 and
 7.7.20130214, I thought I should do what it says and report it.

 Thanks!

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



More information about the ghc-tickets mailing list