The function `lift'ghc: panic! (the 'impossible' happened)
The error message I got doesn't even make much sense (or at least I don't understand it). Here it is:
src/Splices.hs:22:18:
Couldn't match kind `* -> *' with `*'
Expected type: (a1 -> a1)
-> heist-0.14.1.1:Heist.Internal.Types.HeistState.HeistT m m Text
Actual type: (a1 -> a1)
-> heist-0.14.1.1:Heist.Internal.Types.HeistState.HeistT m m Text
Kind incompatibility when matching types:
a_t -> a_t :: * -> *
a1 -> a1 :: *
The function `lift'ghc: panic! (the 'impossible' happened)
(GHC version 7.6.3 for x86_64-unknown-linux):
kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
As far as I understand it says that two things of the same type (a -> a) have different kind...
And the offending function is really simple:
import Happstack.Server (path)
import Heist.Interpreted (textSplice)
insertFromPath :: Splice m
insertFromPath = lift path id >>= textSplice
I believe that m
should evaluate to ServerPartT IO
from Happstack.Server module. I append the whole source code.
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |