[GHC] #9069: -XDeriveTraversable should imply -XDeriveFunctor and -XDeriveFoldable
GHC
ghc-devs at haskell.org
Thu May 8 13:19:24 UTC 2014
#9069: -XDeriveTraversable should imply -XDeriveFunctor and -XDeriveFoldable
-------------------------------------+------------------------------------
Reporter: sjoerd_visscher | Owner:
Type: feature request | Status: patch
Priority: normal | 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 simonpj):
OK, thanks.
You missed the flag reference summary list
[http://www.haskell.org/ghc/docs/latest/html/users_guide/flag-
reference.html Section 4.20.12], where flag implications should be
summarised. But that's not surprising since `DeriveTraversable` and
friends aren't even listed there.
Could you do us a favour?
* Add the `Derive`X extensions to that table
* Put the whole table in alphabetical order of extension name
* Check that there are no more missing one
* Check that all implications are listed.
That would be a very useful service. It could be a separate patch.
Meanwhile, Austin, please commit.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9069#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list