#7441: kindFunResult Error
---------------------------------+------------------------------------------
    Reporter:  guest             |        Owner:                         
        Type:  bug               |       Status:  closed                 
    Priority:  normal            |    Component:  Compiler (Type checker)
     Version:  7.6.1             |   Resolution:  duplicate              
    Keywords:                    |           Os:  Unknown/Multiple       
Architecture:  Unknown/Multiple  |      Failure:  GHCi crash             
   Blockedby:                    |     Blocking:                         
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by monoidal):

  * status:  new => closed
  * resolution:  => duplicate


Comment:

 I think this is a duplicate of #7368. You can reduce the testcase to:

 {{{
 lift :: m a -> n m a
 lift = undefined

 foo = lift undefined undefined
 }}}

 which is reminiscent of #7368 and has the same panic reason "kindFunResult
 ghc-prim:GHC.Prim.*{(w) tc 34d}". HEAD does not panic.

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

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to