#7920: type-checker panic (kindFunResult) -------------------------------+-------------------------------------------- Reporter: roland | Owner: Type: bug | Status: closed Priority: normal | Component: Compiler (Type checker) Version: 7.6.2 | Resolution: duplicate Keywords: | Os: Linux Architecture: x86_64 (amd64) | Failure: Compile-time crash Blockedby: | Blocking: Related: | -------------------------------+-------------------------------------------- Changes (by monoidal): * status: new => closed * resolution: => duplicate Comment: Thanks for the report. The bug is fixed in HEAD: {{{

:t (() :: m () -> t m) () ()

<interactive>:1:2: Couldn't match expected type ‛m () -> t1 m’ with actual type ‛()’ In the expression: () :: m () -> t m In the expression: (() :: m () -> t m) () () <interactive>:1:21: Couldn't match expected type ‛m0 ()’ with actual type ‛()’ In the first argument of ‛() :: m () -> t m’, namely ‛()’ In the expression: (() :: m () -> t m) () () }}} The issue is essentially the same as previously reported #7368, #7441, #7802, so I'm closing as duplicate. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7920#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler