#7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module -------------------------------------+------------------------------------- Reporter: skilpat | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: backpack Resolution: | Architecture: x86_64 Operating System: Linux | (amd64) Type of failure: GHC rejects | Test Case: valid program | rename/should_compile/T7672 Blocked By: | Blocking: 10336 Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * testcase: T7672 => rename/should_compile/T7672 Comment: Despite all this clean up, the test for #7672 ''still'' does not work. Reason: in module A (comment:3), the data type `T` is in scope with two different provenances: * As `LocalDef` "T" * As `Imported` "B.T" But annoyingly, `Provenance` can't represent both; currently it's an either/or. Fixing this really means changing the `Provenance` data type. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7672#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler