[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!
>

> 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