#9191: Semi-exported names -------------------------------------+------------------------------------ Reporter: dfeuer | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): While the *goal* of this suggestion is great, the *means* is a bit questionable, or at least theres some folks already working to spec out an even better approach (though nothings mature yet) I think the work in progress to endow GHC with a module type system actually subsumes this idea. see http://plv.mpi-sws.org/backpack/ and https://ghc.haskell.org/trac/ghc/wiki/Backpack In that setting, you import wrt a *signature* of what you expect a module to have, which will be a subset of the module exports. This naturally solves your revealing/hiding/hidden/explicit notions in a much nicer way I think. Do you think those works will subsume your proposal? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9191#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler