#10880: The 'impossible' happend -----------------------------------+--------------------------------------- Reporter: drever | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: ia64 | Type of failure: Compile-time crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -----------------------------------+--------------------------------------- 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)) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10880 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler