Failed to load interface for GHC.Integer.Type

Simon Peyton Jones simonpj at microsoft.com
Mon Jun 9 22:26:47 UTC 2014


Ah.  The reason that Data.Coerce looks for the interface for GHC.Integer.Type
is because TidyPgm expands integer literals using 'mkInteger' from that module,
and TidyPgm always does the lookup regardless just in case.

There's a hack to switch this off for packages ghc-prim and integer-gmp/simple,
but every other compilation will read that interface.

That's why anyway

Simon

| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Simon
| Peyton Jones
| Sent: 09 June 2014 23:16
| To: Joachim Breitner; ghc-devs at haskell.org
| Subject: RE: Failed to load interface for GHC.Integer.Type
| 
| I'm guessing that it may be the fact that the type-class defaulting rules
| involve Integer.  You added NoImplicitPrelude, which removed a dependency
| on Prelude.   Maybe defaulting is looking for the type Integer, but the
| build system doesn't see any dependency on the module that declares the
| Integer data type.
| 
| Try adding
|   default ()
| 
| Or alternatively (and perhaps easier) import GHC.Base (), which in turn
| depends on GHC.Integer.
| 
| To be honest Data.Coerce is so trivial that I don't know why it needs
| Integer, but I bet that fixes it
| 
| Simon
| 
| | -----Original Message-----
| | From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of
| Joachim
| | Breitner
| | Sent: 09 June 2014 20:45
| | To: ghc-devs at haskell.org
| | Subject: Failed to load interface for GHC.Integer.Type
| |
| | Hi,
| |
| | since
| |
| http://git.haskell.org/ghc.git/commitdiff/1946922c61df427e59f8a00572fd4dd
| | 6501abd98 travis is complaining:
| |
| |
| |   HC [stage 1] libraries/base/dist-install/build/GHC/Unicode.o-boot
| |   HC [stage 1] libraries/base/dist-install/build/Data/Coerce.o
| |   HC [stage 1] libraries/ghc-prim/dist-install/build/GHC/Debug.o
| |
| | Top level:
| |     Failed to load interface for ‘GHC.Integer.Type’
| |     There are files missing in the ‘integer-gmp’ package,
| |     try running 'ghc-pkg check'.
| |     Use -v to see a list of the files searched for.
| | make[1]: *** [libraries/base/dist-install/build/Data/Coerce.o] Error 1
| | make[1]: *** Waiting for unfinished jobs....
| | make: *** [all] Error 2
| |
| | Does anyone have an idea what may be causing this?
| |
| | Greetings,
| | Joachim
| |
| | --
| | Joachim “nomeata” Breitner
| |   mail at joachim-breitner.dehttp://www.joachim-breitner.de/
| |   Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0xF0FBF51F
| |   Debian Developer: nomeata at debian.org
| 
| _______________________________________________
| ghc-devs mailing list
| ghc-devs at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-devs


More information about the ghc-devs mailing list