#7920: type-checker panic (kindFunResult) -------------------------------+-------------------------------------------- Reporter: roland | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.2 | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: Compile-time crash | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- {{{ *Main> :t (() :: m () -> t m) () () <interactive>:1:1: Couldn't match kind `* -> *' with `OpenKind' Expected type: () -> t0 Actual type: () -> t0 Kind incompatibility when matching types: t_n :: * -> * t0 :: OpenKind The function `() ::ghc: panic! (the 'impossible' happened) (GHC version 7.6.2 for x86_64-unknown-linux): kindFunResult <<details unavailable>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7920 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler