[ghc-steering-committee] Proposal #631: Set program exit code by main return type, recommendation: accept something

[Malte Ott]

On 2024-03-22 08:58, Arnaud Spiwack wrote:
> @Malte, in my opinion, with the extension on, types which are not covered
> by the type class should error out.

Ah, I see. Well, I am fine either way.

I just don’t see much value in deciding for the user which code problems are
unacceptable. Especially since this will make the corresponding language
extension more breaking and thus harder to make the default.
Others have voiced similar opinions in the GitHub thread.

Best
Malte