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

[Richard Eisenberg]

From Tom's recommendation, this proposal has now been accepted. Thanks, all!

Richard

> On Nov 30, 2021, at 12:53 PM, Richard Eisenberg <lists at richarde.dev> wrote:
> 
> +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
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee