[Haskell-cafe] Ensuring all values of an ADT are explicitly handled OR finding all occurrences of type X in my app

[Bryan Richter]

On Jan 30, 2017 21:00, "Saurabh Nanda" <saurabhnanda at gmail.com> wrote:

I would want the compiler (or linter) to help me here. Think if a
mid-to-large team where everyone may not know (or remember) what the
current best practices are.


I believe you are asking, "Is there an option to emit warnings when the
underscore pattern is used?"

I further believe the answer to that question is no.

I can appreciate your use case, however.


On 31 Jan 2017 9:51 am, "Michael Orlitzky" <michael at orlitzky.com> wrote:

> On 01/30/2017 09:47 PM, Saurabh Nanda wrote:
> > Hi,
> >
> > If I have the following ADT
> >
> > data BookingState = Confirmed | Cancelled
> >
> > which had a very high chance of being expanded in the future to have more
> > values. How do I ensure that every pattern match on BookingState matches
> > each value explicitly. Basically prevent the '_' matcher ?
> >
>
> Don't write the "_" case? GHC will warn you about any pattern matches
> you've missed.
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.


_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170130/015530a4/attachment.html>