kindFunResult
GHC asked, and I diligently reported the bug:
` [1 of 1] Compiling Main ( src/Chronos.hs, dist/build/chronos/chronos-tmp/Main.o )
src/Chronos.hs:17:3:
Couldn't match expected type IO ()' with actual type
r0 -> IO a0'
In a stmt of a 'do' block:
runReaderT
$ (\ c
-> do { interval <- lift (require c "chronos.pingInterval");
lift forever (monitor (interval * 1000000)) })
config
In the expression:
do { config <- load ["resources/application.cfg"];
runReaderT
$ (\ c
-> do { interval <- lift (require c "chronos.pingInterval");
.... })
config }
In an equation for `main':
main
= do { config <- load ["resources/application.cfg"];
runReaderT $ (\ c -> do { ... }) config }
src/Chronos.hs:19:5:
Couldn't match kind * -> *' with
*'
Expected type: ReaderT Config IO () -> ReaderT r0 IO a0
Actual type: ReaderT Config IO () -> ReaderT r0 IO a0
Kind incompatibility when matching types:
ReaderT Config IO () :: * -> *
ReaderT Config IO () :: *
The function `lift'ghc: panic! (the 'impossible' happened)
(GHC version 7.6.3 for x86_64-apple-darwin):
kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug `
Please find attached the offending program.
Trac metadata
Trac field | Value |
---|---|
Version | 7.6.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |