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

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