[ghc-steering-committee] #433: the Unsatisfiable constraint; recommendation: accept
Tom Harding
i.am.tom.harding at gmail.com
Tue Nov 30 13:37:42 UTC 2021
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
More information about the ghc-steering-committee
mailing list