type-checker panic (kindFunResult)
*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
Trac metadata
Trac field |
Value |
Version |
7.6.2 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
Unresolved |
Component |
Compiler (Type checker) |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|