RE: Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

| I shouldn't have to modify PrelNames since I kept GHC.Integer.Type, | no? Or does PrelNames have to contain the name of the module that | originally defined the type? Yes, exactly! Simon