I've added some technical comments.

I'm not terribly enthusiastic (one more thing to implement and maintain) but neither am I against.  I can see the attraction.

Simon

On Thu, 13 Jan 2022 at 16:19, Tom Harding <i.am.tom.harding@gmail.com> wrote:
Hi all,

As Joachim noted, #454 is extracted from Adam’s previous efforts with the Unsatisfiable constraint proposal (which has since been accepted). In short, it covers an interface for custom warnings, and I can already think of plenty of ways I’d use it. I’d therefore like to recommend acceptance, and discuss any issues or changes.

Thanks,
Tom
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee