[GHC] #10880: The 'impossible' happend

[GHC]

#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