[ghc-steering-committee] #433: the Unsatisfiable constraint; recommendation: accept

[Spiwack, Arnaud]

I'm in favour. I have no opinion on the `Warning` type class.

On Wed, Oct 27, 2021 at 11:01 AM Tom Harding <i.am.tom.harding at gmail.com>
wrote:

> Hi all,
>
> Firstly, apologies for the radio silence - I’ve apparently been having
> some undiscovered email trouble (perhaps even since joining the committee),
> and so I’m now going to be using my usual, and hopefully far more reliable,
> email address.
>
> With that said, I’d like to recommend proposal #433
> <https://github.com/ghc-proposals/ghc-proposals/pull/433> for acceptance.
> The proposal does a good job of outlining the difference between this and
> the current TypeError mechanism, and I think the case is well justified.
> Certainly, the ability to bypass fundep checks in error case “instances”
> immediately brought to mind a handful of places in my own libraries that
> could benefit from this check.
>
> I think the thread already contains a lot of committee activity, but I
> welcome any further comments!
>
> Thanks,
> Tom
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20211027/9b9addd9/attachment.html>