#8374: `tcIfaceGlobal (local): not found` while compiling ----------------------------------------+--------------------------------- Reporter: bgamari | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: Component: Build System | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+--------------------------------- Changes (by simonpj): * owner: => thoughtpolice Comment: Just to amplify, the AMP warnings are switched off when `-XNoImplicitPrelude` is on, for reasons described in `Note [No AMP warning with NoImplicitPrelude]`. That means that `Control.Applicative`, and everything that might be compiled before it (ie that does not depend on it) should really be compiled with `-XNoImplicitPrelude`. But that is not the case, and I believe that's what is causing the trouble. Once we've verified that this is indeed the source of the trouble (comment 29) I suppose we can either * Do nothing, on the grounds that the entire AMP-warning stuff is going away in 7.9, once Applicative is a superclass of Monad. * Change the test to be "`-XNoImplicitPrelucde` or part of package `base`". * Ensure that `base` is compiled with `-fno-warn-amp`. The latter is probably the easiest, because it can be done by modifying `base.cabal`. Not a good long term fix, but the whole thing is only relevant to 7.8. I'm transferring ownership to Austin. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8374#comment:30 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler