#10880: The 'impossible' happend ---------------------------------------+-------------------------------- Reporter: drever | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: MacOS X | Architecture: ia64 Type of failure: Compile-time crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: ---------------------------------------+-------------------------------- Description changed by drever: Old description:
The compiler told me to file this report. I hope this helps!
{{{ drever$ cabal build Building xxx-0.0... Preprocessing library xxx-0.0... In-place registering xxx-0.0... Preprocessing executable 'xxx' for xxx-0.0... [21 of 21] Compiling Main ( src/main.hs, dist/build/xxx/xxx- tmp/Main.o )
src/main.hs:107:19: Couldn't match kind `* -> *' with `*' Expected type: FileName -> ReaderT XXXEnvironment IO t0 Actual type: FileName -> ReaderT XXXEnvironment IO t0 Kind incompatibility when matching types: FileName :: * -> * FileName :: * 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 }}}
{{{#!hs generatecode :: (Entity -> [EntitySample]) -> ReaderT MyEnvironment IO () generatecode sample = do domain_xsd <- lift xsdEntities "test" return () }}}
{{{#!hs xsdEntities :: String -> IO [Entity] xsdEntities f = do maybeEntities <- runX ((XS.gettypes f) BaseWrite) return $ catMaybes $ concat maybeEntities }}}
{{{#!hs gettypes :: String -> MyType -> IOSLA (XIOState s) a [Maybe S.Entity] gettypes f t = (cris f) >>> (arr $ filterExtends BaseWrite) >>> (arr getComplexTypes) >>> (arr (map complexTypeToEntity)) }}}
New description: The compiler told me to file this report. I hope this helps! Edit: Here is a minimal example which reproduces the error {{{#!hs bla :: ReaderT OmahaEnvironment IO () bla = do x <- lift getLine return () }}} -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10880#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler