[GHC] #8043: Feature Request : Qualified module exports
#8043: Feature Request : Qualified module exports ------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I quite like the practice of using `-XNoImplicitPrelude` and then defining my own (often per-project) Prelude doing things like: {{{ module MyProject.Prelude ( module P ) import Data.Text as P (Text) import Prelude as P hiding (head, init, tail, last) }}} As an extension to the above idea, I would like to add qualified module exports defined so that I can do this: {{{ module MyProject.Prelude ( module P , qualified module T ) import Data.Text as P (Text) import Prelude as P hiding (head, init, tail, last) import qualified Data.Text as T }}} so that any file which imports `MyProject.Prelude` will then have all the identifiers that they would normally get if they did: {{{ import qualified Data.Text as T }}} Is this something that would have to go through the Haskell Next procedure? If so, how does one get that kicked off? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------ Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by conrad): * cc: conrad@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------ Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): See * [http://www.haskell.org/pipermail/libraries/2005-March/003420.html] and the thread leading up to it. * [http://ghc.haskell.org/trac/haskell-prime/wiki/ModuleSystem] * [http://haskell.1045720.n5.nabble.com/Is-it-possible-to-export-module- aliases-td3079073.html]. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------ Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by erikd): * cc: mle+hs@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------ Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by ihameed): * cc: idhameed@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------ Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by erikd): The original links to the mailing list have bit rotted but the emails are available at http://www.haskell.org/pipermail/haskell- cafe/2005-March/thread.html in the thread titled "Best practices for modular programming in Haskell". -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------ Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by erikd): I've started documenting this proposal here: http://www.haskell.org/haskellwiki/GHC/QualifiedModuleExport -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------ Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonmar): This may be the new location for that discussion: http://www.haskell.org/pipermail/libraries/2005-March/003139.html Could someone please fix the mailing list links! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.7 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Other | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * type: bug => feature request -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by HairyDude): * cc: pwberry@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by sseefried): Are people still interested in this feature? I for one would be very interested. Are there any great difficulties in implementing this feature that we should discuss here? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by sseefried): * cc: sean.seefried@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Now that we have an [http://github.com/ghc-proposals/ghc-proposals official way to discuss] such proposals, this would make a nice candidate for such discussion. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8043: Feature Request : Qualified module exports -------------------------------------+------------------------------------- Reporter: erikd | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by Wizek): * cc: Wizek (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8043#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC