Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer
Simon Peyton-Jones
simonpj at microsoft.com
Thu Aug 18 18:10:04 CEST 2011
My guess is that you have not updated compiler/prelude/PrelNames, which contains wired-in knowledge of which modules certain functions and data types live in. Check the ones you've moved!
S
| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Johan Tibell
| Sent: 18 August 2011 15:45
| To: glasgow-haskell-users
| Subject: Can't find interface-file declaration for type constructor or class integer-
| gmp:GHC.Integer.Type.Integer
|
| I'm trying to refactor the integer-gmp package to fix the breakage
| explained in #5384. During the refactoring I
|
| * moved GHC.Integer.Type to GHC.Integer.GMP.Type, and
| * added a new GHC.Integer.Type module that re-exports parts of the
| interface now exposed by GHC.Integer.GMP.Type
|
| The content of GHC.Integer.Type is just:
|
| {-# LANGUAGE NoImplicitPrelude #-}
| {-# OPTIONS_HADDOCK hide #-}
|
| -- If you change the module name or the export list you must update
| -- compiler/prelude/PrelNames.lhs.
| module GHC.Integer.Type (
| Integer(..)
| , plusInteger
| , timesInteger
| , smallInteger
| , integerToWord
| , integerToInt
| , minusInteger
| , negateInteger
| , eqInteger
| , neqInteger
| , absInteger
| , signumInteger
| , leInteger
| , gtInteger
| , ltInteger
| , geInteger
| , compareInteger
| , gcdInteger
| , lcmInteger
| , andInteger
| , orInteger
| , xorInteger
| , complementInteger
| , shiftLInteger
| , shiftRInteger
| ) where
|
| import GHC.Integer.GMP.Type
|
| GHC doesn't seem to like this at all. It can no longer find the
| GHC.Integer.Type.Integer type:
|
| $ "inplace/bin/ghc-stage1" -H64m -O -fasm -package-name
| base-4.4.0.0 -hide-all-packages -i -ilibraries/base/.
| -ilibraries/base/dist-install/build
| -ilibraries/base/dist-install/build/autogen
| -Ilibraries/base/dist-install/build
| -Ilibraries/base/dist-install/build/autogen -Ilibraries/base/include
| -optP-DOPTIMISE_INTEGER_GCD_LCM -optP-include
| -optPlibraries/base/dist-install/build/autogen/cabal_macros.h -package
| ghc-prim-0.2.0.0 -package integer-gmp-0.3.0.0 -package rts-1.0
| -package-name base -XHaskell98 -XCPP -O -dcore-lint
| -no-user-package-conf -rtsopts -odir
| libraries/base/dist-install/build -hidir
| libraries/base/dist-install/build -stubdir
| libraries/base/dist-install/build -hisuf hi -osuf o -hcsuf hc -c
| libraries/base/./Data/Maybe.hs -o
| libraries/base/dist-install/build/Data/Maybe.o
|
| libraries/base/Data/Maybe.hs:70:13:
| Can't find interface-file declaration for type constructor or
| class integer-gmp:GHC.Integer.Type.Integer
| Probable cause: bug in .hi-boot file, or inconsistent .hi file
| Use -ddump-if-trace to get an idea of which file caused the error
| When deriving the instance for (Eq (Maybe a))
|
| Here's the -ddump-if-trace log:
|
| $ "inplace/bin/ghc-stage1" -H64m -O -fasm -package-name
| base-4.4.0.0 -hide-all-packages -i -ilibraries/base/.
| -ilibraries/base/dist-install/build
| -ilibraries/base/dist-install/build/autogen
| -Ilibraries/base/dist-install/build
| -Ilibraries/base/dist-install/build/autogen -Ilibraries/base/include
| -optP-DOPTIMISE_INTEGER_GCD_LCM -optP-include
| -optPlibraries/base/dist-install/build/autogen/cabal_macros.h -package
| ghc-prim-0.2.0.0 -package integer-gmp-0.3.0.0 -package rts-1.0
| -package-name base -XHaskell98 -XCPP -O -dcore-lint
| -no-user-package-conf -rtsopts -odir
| libraries/base/dist-install/build -hidir
| libraries/base/dist-install/build -stubdir
| libraries/base/dist-install/build -hisuf hi -osuf o -hcsuf hc -c
| libraries/base/./Data/Maybe.hs -o
| libraries/base/dist-install/build/Data/Maybe.o -ddump-if-trace
| FYI: cannont read old interface file:
| libraries/base/dist-install/build/Data/Maybe.hi: openBinaryFile:
| does not exist (No such file or directory)
| Considering whether to load base:GHC.Base
| Reading interface for base:GHC.Base;
| reason: GHC.Base is directly imported
| readIFace libraries/base/dist-install/build/GHC/Base.hi
| updating EPS_
| Considering whether to load ghc-prim:GHC.Generics
| Reading interface for ghc-prim:GHC.Generics;
| reason: GHC.Generics is directly imported
| readIFace /usr/local/google/src/ghc/libraries/ghc-prim/dist-
| install/build/GHC/Generics.hi
| updating EPS_
| updating EPS_
| Considering whether to load base:GHC.Base {- SYSTEM -}
| loadHiBootInterface base:Data.Maybe
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| Reading interface for ghc-prim:GHC.Types;
| reason: Checking fixity for :
| readIFace /usr/local/google/src/ghc/libraries/ghc-prim/dist-
| install/build/GHC/Types.hi
| updating EPS_
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| Starting fork { Declaration for Monad
| Loading decl for GHC.Base.Monad
| updating EPS_
| buildClass
| buildClass GHC.Base.T:Monad
| } ending fork Declaration for Monad
| Starting fork { Declaration for Functor
| Loading decl for GHC.Base.Functor
| updating EPS_
| buildClass
| buildClass GHC.Base.T:Functor
| } ending fork Declaration for Functor
| tcImportDecl GHC.Classes.Eq
| Need decl for GHC.Classes.Eq
| Considering whether to load ghc-prim:GHC.Classes {- SYSTEM -}
| Reading interface for ghc-prim:GHC.Classes;
| reason: Need decl for GHC.Classes.Eq
| readIFace /usr/local/google/src/ghc/libraries/ghc-prim/dist-
| install/build/GHC/Classes.hi
| updating EPS_
| Starting fork { Declaration for Eq
| Loading decl for GHC.Classes.Eq
| updating EPS_
| buildClass
| buildClass GHC.Classes.T:Eq
| } ending fork Declaration for Eq
| Starting fork { Declaration for Ord
| Loading decl for GHC.Classes.Ord
| updating EPS_
| buildClass
| buildClass GHC.Classes.T:Ord
| } ending fork Declaration for Ord
| Starting fork { Declaration for Generic
| Loading decl for GHC.Generics.Generic
| updating EPS_
| buildClass
| buildClass GHC.Generics.T:Generic
| } ending fork Declaration for Generic
| Starting fork { Declaration for D1
| Loading decl for GHC.Generics.D1
| updating EPS_
| } ending fork Declaration for D1
| Starting fork { Declaration for C1
| Loading decl for GHC.Generics.C1
| updating EPS_
| } ending fork Declaration for C1
| Starting fork { Declaration for S1
| Loading decl for GHC.Generics.S1
| updating EPS_
| } ending fork Declaration for S1
| Starting fork { Declaration for NoSelector
| Loading decl for GHC.Generics.NoSelector
| updating EPS_
| tcIfaceDecl4 GHC.Generics.NoSelector
| } ending fork Declaration for NoSelector
| Starting fork { Declaration for Rec0
| Loading decl for GHC.Generics.Rec0
| updating EPS_
| } ending fork Declaration for Rec0
| Starting fork { Declaration for Par0
| Loading decl for GHC.Generics.Par0
| updating EPS_
| } ending fork Declaration for Par0
| Starting fork { Declaration for U1
| Loading decl for GHC.Generics.U1
| updating EPS_
| tcIfaceDecl4 GHC.Generics.U1
| } ending fork Declaration for U1
| Starting fork { Declaration for V1
| Loading decl for GHC.Generics.V1
| updating EPS_
| tcIfaceDecl4 GHC.Generics.V1
| } ending fork Declaration for V1
| Starting fork { Declaration for :+:
| Loading decl for GHC.Generics.:+:
| updating EPS_
| tcIfaceDecl4 GHC.Generics.:+:
| } ending fork Declaration for :+:
| Starting fork { Declaration for :*:
| Loading decl for GHC.Generics.:*:
| updating EPS_
| tcIfaceDecl4 GHC.Generics.:*:
| } ending fork Declaration for :*:
| Starting fork { Declaration for Datatype
| Loading decl for GHC.Generics.Datatype
| updating EPS_
| buildClass
| buildClass GHC.Generics.T:Datatype
| } ending fork Declaration for Datatype
| Starting fork { Declaration for Constructor
| Loading decl for GHC.Generics.Constructor
| updating EPS_
| buildClass
| buildClass GHC.Generics.T:Constructor
| } ending fork Declaration for Constructor
| Starting fork { Declaration for Selector
| Loading decl for GHC.Generics.Selector
| updating EPS_
| buildClass
| mkNewTyConRhs GHC.Generics.NTCo:T:Selector
| buildClass GHC.Generics.T:Selector
| } ending fork Declaration for Selector
| Starting fork { Dict fun GHC.Classes.$fEq[]
| Starting fork { Declaration for $fEq[]
| Loading decl for GHC.Classes.$fEq[]
| updating EPS_
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| } ending fork Declaration for $fEq[]
| } ending fork Dict fun GHC.Classes.$fEq[]
| Starting fork { Dict fun GHC.Classes.$fEqOrdering
| Starting fork { Declaration for $fEqOrdering
| Loading decl for GHC.Classes.$fEqOrdering
| updating EPS_
| Need decl for GHC.Ordering.Ordering
| Considering whether to load ghc-prim:GHC.Ordering {- SYSTEM -}
| Reading interface for ghc-prim:GHC.Ordering;
| reason: Need decl for GHC.Ordering.Ordering
| readIFace /usr/local/google/src/ghc/libraries/ghc-prim/dist-
| install/build/GHC/Ordering.hi
| updating EPS_
| } ending fork Declaration for $fEqOrdering
| } ending fork Dict fun GHC.Classes.$fEqOrdering
| Starting fork { Declaration for Ordering
| Loading decl for GHC.Ordering.Ordering
| updating EPS_
| tcIfaceDecl4 GHC.Ordering.Ordering
| } ending fork Declaration for Ordering
| Starting fork { Dict fun GHC.Classes.$fEqInt
| Starting fork { Declaration for $fEqInt
| Loading decl for GHC.Classes.$fEqInt
| updating EPS_
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| } ending fork Declaration for $fEqInt
| } ending fork Dict fun GHC.Classes.$fEqInt
| Starting fork { Dict fun GHC.Classes.$fEqFloat
| Starting fork { Declaration for $fEqFloat
| Loading decl for GHC.Classes.$fEqFloat
| updating EPS_
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| } ending fork Declaration for $fEqFloat
| } ending fork Dict fun GHC.Classes.$fEqFloat
| Starting fork { Dict fun GHC.Classes.$fEqFixity
| Starting fork { Declaration for $fEqFixity
| Loading decl for GHC.Classes.$fEqFixity
| updating EPS_
| } ending fork Declaration for $fEqFixity
| } ending fork Dict fun GHC.Classes.$fEqFixity
| Starting fork { Declaration for Fixity
| Loading decl for GHC.Generics.Fixity
| updating EPS_
| tcIfaceDecl4 GHC.Generics.Fixity
| } ending fork Declaration for Fixity
| Starting fork { Dict fun GHC.Classes.$fEqDouble
| Starting fork { Declaration for $fEqDouble
| Loading decl for GHC.Classes.$fEqDouble
| updating EPS_
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| } ending fork Declaration for $fEqDouble
| } ending fork Dict fun GHC.Classes.$fEqDouble
| Starting fork { Dict fun GHC.Classes.$fEqChar
| Starting fork { Declaration for $fEqChar
| Loading decl for GHC.Classes.$fEqChar
| updating EPS_
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| } ending fork Declaration for $fEqChar
| } ending fork Dict fun GHC.Classes.$fEqChar
| Starting fork { Dict fun GHC.Classes.$fEqBool
| Starting fork { Declaration for $fEqBool
| Loading decl for GHC.Classes.$fEqBool
| updating EPS_
| Considering whether to load ghc-prim:GHC.Types {- SYSTEM -}
| } ending fork Declaration for $fEqBool
| } ending fork Dict fun GHC.Classes.$fEqBool
| Starting fork { Dict fun GHC.Classes.$fEqAssociativity
| Starting fork { Declaration for $fEqAssociativity
| Loading decl for GHC.Classes.$fEqAssociativity
| updating EPS_
| } ending fork Declaration for $fEqAssociativity
| } ending fork Dict fun GHC.Classes.$fEqAssociativity
| Starting fork { Declaration for Associativity
| Loading decl for GHC.Generics.Associativity
| updating EPS_
| tcIfaceDecl4 GHC.Generics.Associativity
| } ending fork Declaration for Associativity
| Starting fork { Dict fun GHC.Classes.$fEqArity
| Starting fork { Declaration for $fEqArity
| Loading decl for GHC.Classes.$fEqArity
| updating EPS_
| } ending fork Declaration for $fEqArity
| } ending fork Dict fun GHC.Classes.$fEqArity
| Starting fork { Declaration for Arity
| Loading decl for GHC.Generics.Arity
| updating EPS_
| tcIfaceDecl4 GHC.Generics.Arity
| } ending fork Declaration for Arity
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,,,,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,,,,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,,,,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| Reading interface for ghc-prim:GHC.Tuple;
| reason: Need home interface for wired-in thing (,,,,,,,,,,,,,,)
| readIFace /usr/local/google/src/ghc/libraries/ghc-prim/dist-
| install/build/GHC/Tuple.hi
| updating EPS_
| } ending fork Declaration for $fEq(,,,,,,,,,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,,,,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,,,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,,,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,,,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,,,,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,,,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,,,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,,)
| Starting fork { Declaration for $fEq(,,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,,)
| Starting fork { Declaration for $fEq(,,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,,)
| Starting fork { Declaration for $fEq(,,,,)
| Loading decl for GHC.Classes.$fEq(,,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,,)
| Starting fork { Declaration for $fEq(,,,)
| Loading decl for GHC.Classes.$fEq(,,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,,)
| Starting fork { Declaration for $fEq(,,)
| Loading decl for GHC.Classes.$fEq(,,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,,)
| } ending fork Dict fun GHC.Classes.$fEq(,,)
| Starting fork { Dict fun GHC.Classes.$fEq(,)
| Starting fork { Declaration for $fEq(,)
| Loading decl for GHC.Classes.$fEq(,)
| updating EPS_
| Considering whether to load ghc-prim:GHC.Tuple {- SYSTEM -}
| } ending fork Declaration for $fEq(,)
| } ending fork Dict fun GHC.Classes.$fEq(,)
| Starting fork { Dict fun GHC.Classes.$fEq()
| Starting fork { Declaration for $fEq()
| Loading decl for GHC.Classes.$fEq()
| updating EPS_
| Considering whether to load ghc-prim:GHC.Unit {- SYSTEM -}
| Reading interface for ghc-prim:GHC.Unit;
| reason: Need home interface for wired-in thing ()
| readIFace /usr/local/google/src/ghc/libraries/ghc-prim/dist-install/build/GHC/Unit.hi
| updating EPS_
| } ending fork Declaration for $fEq()
| } ending fork Dict fun GHC.Classes.$fEq()
| tcImportDecl GHC.Integer.Type.Integer
| Need decl for GHC.Integer.Type.Integer
| Considering whether to load integer-gmp:GHC.Integer.Type {- SYSTEM -}
| Reading interface for integer-gmp:GHC.Integer.Type;
| reason: Need decl for GHC.Integer.Type.Integer
| readIFace /usr/local/google/src/ghc/libraries/integer-gmp/dist-
| install/build/GHC/Integer/Type.hi
| updating EPS_
|
| libraries/base/Data/Maybe.hs:70:13:
| Can't find interface-file declaration for type constructor or
| class integer-gmp:GHC.Integer.Type.Integer
| Probable cause: bug in .hi-boot file, or inconsistent .hi file
| Use -ddump-if-trace to get an idea of which file caused the error
| When deriving the instance for (Eq (Maybe a))
|
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
More information about the Glasgow-haskell-users
mailing list