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

Richard Eisenberg lists at richarde.dev
Tue Nov 30 17:53:50 UTC 2021


+1

> On Nov 30, 2021, at 8:37 AM, Tom Harding <i.am.tom.harding at gmail.com> wrote:
> 
> Hi all,
> 
> Since I last emailed the committee, Adam has split the proposal into two parts: one for `Unsatisfiable` and one for `Warning`. I think I’m right in saying that everyone who has voiced an opinion has been in favour of the `Unsatisfiable` half, so if no one has any further thoughts, I suggest we accept this half and continue discussing `Warning` later on.
> 
> Thanks,
> Tom
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee



More information about the ghc-steering-committee mailing list