Haskell Foldable Wats

Mark Roberts markandrusroberts at gmail.com
Thu Feb 25 18:26:02 UTC 2016


Perhaps such warnings could be added to a tool like HLint? I do not think
they belong in GHC.

On Thu, Feb 25, 2016 at 5:40 AM, Augustsson, Lennart <
Lennart.Augustsson at sc.com> wrote:

> Yes, at this point I think the best we can do is to make sure we get good
> warnings.
> I'd suggest that we can attach a warning to a method in each instance.
> So when using length on a tuple we'd get a warning.
> I don't even want to upgrade ghc to get the FTP until such a warning is in
> place (we are still on 7.8).
>
> -----Original Message-----
> From: Libraries [mailto:libraries-bounces at haskell.org] On Behalf Of Phil
> Ruffwind
> Sent: 25 February 2016 13:01
> To: Manuel Gómez
> Cc: Haskell Libraries
> Subject: Re: Haskell Foldable Wats
>
> > 2.  to implement a language extension in GHC that allows source
> > language to specify a certain instance will never be defined and a
> > type error shall be thrown statically at any use site, or
>
> How about a feature that allows GHC to warn whenever a certain instance is
> used? That way, if you don't like a certain instance, you can put {-#
> FORBIDINSTANCE Foldable ((,) a) #-} in your modules and get warnings
> whenever that instance is used.
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
> This email and any attachments are confidential and may also be
> privileged. If you are not the intended recipient, please delete all copies
> and notify the sender immediately. You may wish to refer to the
> incorporation details of Standard Chartered PLC, Standard Chartered Bank
> and their subsidiaries at
> http://www.standardchartered.com/en/incorporation-details.html
>
> Insofar as this communication contains any market commentary, the market
> commentary has been prepared by sales and/or trading desk of Standard
> Chartered Bank or its affiliate. It is not and does not constitute research
> material, independent research, recommendation or financial advice. Any
> market commentary is for information purpose only and shall not be relied
> for any other purpose, and is subject to the relevant disclaimers available
> at
> http://wholesalebanking.standardchartered.com/en/utility/Pages/d-mkt.aspx
>
> Insofar as this e-mail contains the term sheet for a proposed transaction,
> by responding affirmatively to this e-mail, you agree that you have
> understood the terms and conditions in the attached term sheet and
> evaluated the merits and risks of the transaction. We may at times also
> request you to sign on the term sheet to acknowledge in respect of the same.
>
> Please visit
> http://wholesalebanking.standardchartered.com/en/capabilities/financialmarkets/Pages/doddfrankdisclosures.aspx
> for important information with respect to derivative products.
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20160225/e8e812bf/attachment-0001.html>


More information about the Libraries mailing list