[GHC] #8000: -ddump-minimal-imports should preserve imports of symbols in the export list

#8000: -ddump-minimal-imports should preserve imports of symbols in the export list -----------------------------+---------------------------------------------- Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Here is one more dump-minimal imports bug - for this module: {{{ module Foo (dropWhile) where import Data.List (dropWhile) }}} ghc -ddump-minimal-imports outputs {{{ import Data.List () }}} but the original module needs the import of {{{dropWhile}}} to compile. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/8000 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8000: -ddump-minimal-imports should preserve imports of symbols in the export list -------------------------------+-------------------------------------------- Reporter: dsf | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: invalid | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => invalid Comment: Are you sure? `dropWhile` is brought into scope by the implicit import of `Prelude`, so the import of `Data.List` is indeed redundant. Re-open if I've missed something. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/8000#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8000: -ddump-minimal-imports should preserve imports of Prelude when -XNoImplicitPrelude is enabled -------------------------------+-------------------------------------------- Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by dsf): * status: closed => new * resolution: invalid => Comment: I've changed the summary to reflect what I *really* meant to say, though a new ticket might make more sense. In an update of the original example, {{{ {-# LANGUAGE NoImplicitPrelude #-} module Foo (dropWhile) where import Prelude (dropWhile) }}} The resulting .imports file is empty, but due to {{{NoImplicitImports}}} we actually need the {{{import Prelude (dropWhile)}}} It seems to me this issue was raised when Fay encountered problems using NoImplicitPrelude, but I can't find a ticket. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/8000#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8000: -ddump-minimal-imports should preserve imports of Prelude when -XNoImplicitPrelude is enabled -------------------------------+-------------------------------------------- Reporter: dsf | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: Ah, I see. Happily the fix for #7963 fixes this too, so we are good. Thanks for reporting it. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/8000#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC