Re: [ghc-steering-committee] #380 GHC2021: Voting starts

Ah yes, I meant to explain that I have a minor objection to the instances generated by EmptyDataDeriving. The Eq and Ord instances are defined for bottom inputs while Show is undefined, which is oddly inconsistent. If Eq and Ord forced their arguments I would have voted for including EmptyDataDeriving. Sent from my iPhone

On Dec 4, 2020, at 04:36, Joachim Breitner wrote:

Hi Eric,

probably not very relevant (both extensions far above the quorum) but it seems odd to include

...

EmptyDataDecls: yes

but then say

...

EmptyDataDeriving: no

Als note that the docs at https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts.... say “The EmptyDataDeriving flag is only required to enable deriving of these four “standard” type classes (which are mentioned in the Haskell Report). Other extensions to the deriving mechanism, which are explained below in greater detail, do not require EmptyDataDeriving to be used in conjunction with empty data types.”

So enabling the other DerivingFoo extensions without EmptyDataDeriving is somewhat non-uniform.

Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee