
Hi all, Does anyone know why the *record selector* `HEq_sc` started with a capital letter? Would it be sensible to rename it to start with a lower case letter and perhaps mention that it is a selector in the name? git grep "HEq_sc" doesn't yield any explanation, I could only work this out from reading the source doe. I propose "heq_sel" could be more self-explanatory. Cheers, Matt

This smells like my doing. My best guess is that I copied from Coercible_sc, just a bit further down in TysWiredIn. I don't think there's more rhyme or reason to the choice. Richard
On Dec 29, 2017, at 2:31 PM, Matthew Pickering
wrote: Hi all,
Does anyone know why the *record selector* `HEq_sc` started with a capital letter?
Would it be sensible to rename it to start with a lower case letter and perhaps mention that it is a selector in the name?
git grep "HEq_sc" doesn't yield any explanation, I could only work this out from reading the source doe.
I propose "heq_sel" could be more self-explanatory.
Cheers,
Matt _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Thanks Richard.
I created D4280 if anyone else wants to weigh in.
Matt
On Fri, Dec 29, 2017 at 9:16 PM, Richard Eisenberg
This smells like my doing. My best guess is that I copied from Coercible_sc, just a bit further down in TysWiredIn. I don't think there's more rhyme or reason to the choice.
Richard
On Dec 29, 2017, at 2:31 PM, Matthew Pickering
wrote: Hi all,
Does anyone know why the *record selector* `HEq_sc` started with a capital letter?
Would it be sensible to rename it to start with a lower case letter and perhaps mention that it is a selector in the name?
git grep "HEq_sc" doesn't yield any explanation, I could only work this out from reading the source doe.
I propose "heq_sel" could be more self-explanatory.
Cheers,
Matt _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
participants (2)
-
Matthew Pickering
-
Richard Eisenberg