[GHC] #10328: Control.Monad exports lead to weird Haddocks
#10328: Control.Monad exports lead to weird Haddocks -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: ekmett Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.10.1 Component: Core | Operating System: Unknown/Multiple Libraries | Type of failure: Documentation Keywords: | bug Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- `Control.Monad` exports, and therefore documents, the `Functor` class (but only the `fmap` member) and the `Monad` class. It does not export, and therefore does not document, the `Applicative` class. This is all pretty weird. Since `Functor` is in the prelude (and probably most/all alternate preludes), is there actually a reason to export it from `Control.Monad`? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10328 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10328: Control.Monad exports lead to weird Haddocks -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by dfeuer): * type: feature request => bug -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10328#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10328: Control.Monad exports lead to weird Haddocks -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by hvr): For one, it's demanded by H2010 (see https://www.haskell.org/onlinereport/haskell2010/haskellch13.html). The question is rather, why H2010 doesn't have any `Data.Functor` module (which I guess is related to the fact that it ended up in `Control.Monad`...) Btw, this could be yet another use-case for #4879 (if we decide to slowly phase out the re-export from Control.Monad) :-) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10328#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10328: Control.Monad exports lead to weird Haddocks -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by ekmett): Currently it is demanded by the report and backwards compatibility. It is worth evaluating whether we can eliminate such re-exports from Control.Monad in the future, but such would require a good deal of community buy-in. I for one would support ultimately removing the redundant re-exports from Control.Monad and all over the `mtl` should such a thing be put to a poll / proposal. They were a repeated thorn in our side when we were trying to figure out if we even _could_ do something like offer alternate Preludes, etc. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10328#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10328: Control.Monad exports lead to weird Haddocks -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: bug | Status: new Priority: low | Milestone: Component: Core Libraries | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by dfeuer): * priority: normal => low -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10328#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC