Opened 2 years ago

Closed 2 years ago

Last modified 2 years ago

#10880 closed bug (duplicate)

The 'impossible' happend

Reported by: drever Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.6.3
Keywords: Cc:
Operating System: MacOS X Architecture: ia64
Type of failure: Compile-time crash Test Case:
Blocked By: Blocking:
Related Tickets: #8135 Differential Rev(s):
Wiki Page:

Description (last modified by drever)

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 )
    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:
generatecode :: (Entity -> [EntitySample]) -> ReaderT MyEnvironment IO ()
generatecode  sample = do
    domain_xsd <- lift xsdEntities "test"

xsdEntities :: String -> IO [Entity]
xsdEntities f = do
    maybeEntities <- runX ((XS.gettypes f) BaseWrite)
    return $ catMaybes $ concat maybeEntities
gettypes :: String -> MyType -> IOSLA (XIOState s) a [Maybe S.Entity]
gettypes f t = (cris f) >>>
    (arr $ filterExtends BaseWrite) >>>
    (arr getComplexTypes) >>>
    (arr (map complexTypeToEntity))

Change History (4)

comment:1 Changed 2 years ago by drever

Description: modified (diff)

comment:2 in reply to:  description Changed 2 years ago by drever

Description: modified (diff)

comment:3 Changed 2 years ago by thomie

Resolution: duplicate
Status: newclosed

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.

comment:4 Changed 2 years ago by drever

Thanks for the fast response and sorry for the duplicate!

Note: See TracTickets for help on using tickets.