[GHC] #10880: The 'impossible' happend
#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
#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
#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!
Edit: Here is a minimal example which reproduces the error
{{{#!hs
bla :: ReaderT OmahaEnvironment IO () bla = do x <- lift getLine return ()
}}}
New 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" }}} {{{#!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#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10880: The 'impossible' happend ---------------------------------------+--------------------------------- Reporter: drever | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: duplicate | Keywords: Operating System: MacOS X | Architecture: ia64 Type of failure: Compile-time crash | Test Case: Blocked By: | Blocking: Related Tickets: #8135 | Differential Revisions: ---------------------------------------+--------------------------------- Changes (by thomie): * status: new => closed * resolution: => duplicate * related: => #8135 Comment: Thanks for the report. This bug has been fixed in later releases of GHC. If you search for 'kindFunResult' you can find several other instances of it. Please upgrade, 7.6 is no longer supported. Sorry about that. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10880#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10880: The 'impossible' happend ---------------------------------------+--------------------------------- Reporter: drever | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: duplicate | Keywords: Operating System: MacOS X | Architecture: ia64 Type of failure: Compile-time crash | Test Case: Blocked By: | Blocking: Related Tickets: #8135 | Differential Revisions: ---------------------------------------+--------------------------------- Comment (by drever): Thanks for the fast response and sorry for the duplicate! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10880#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC