Proposal: Add conspicuously missing Functor instances for tuples
Eric Seidel
eric at seidel.io
Mon Jan 18 21:31:13 UTC 2016
On Mon, Jan 18, 2016, at 13:22, Henning Thielemann wrote:
>
> On Mon, 18 Jan 2016, John Wiegley wrote:
>
> >>>>>> Henning Thielemann <lemming at henning-thielemann.de> writes:
> >
> >> I would never use such an instance. Can I be warned if I accidentally use it
> >> anyway?
> >
> > I don't know why "I wouldn't use it" should extend to "it shouldn't exist".
>
> Because I cannot turn it off and I cannot get warning. It is inserted by
> GHC whenever it matches, even if I made a mistake when programming.
There may be an easier way, but one could write a Core-to-Core plugin
that kills the build if it sees an expression like `fmap @(,)`.
More information about the Libraries
mailing list