Naming of HEq_sc

Richard Eisenberg rae at
Fri Dec 29 21:16:13 UTC 2017

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.


> On Dec 29, 2017, at 2:31 PM, Matthew Pickering <matthewtpickering at> 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 at

More information about the ghc-devs mailing list