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

[Tom Harding]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20211027/184117d2/attachment-0001.html>