Make Eq type class single method

[Carter Schonwald]

So one thing I’d like to highlight, that I don’t know if we could bake into
ghc safely and might not be relevant here is:

At least in some cases, implementations of EQ may use
“reallyUnsafePtrEquality#”, as a never false positive check that two heap
values are the same heap object. Naively this seems like it’s probably
orthogonal to the matter of Eq being a single or double method type class,
but I figure it’s worth asking out loud

On Wed, Oct 20, 2021 at 4:29 PM Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Hi,
>
> parallel work… should have linked to
> https://gitlab.haskell.org/ghc/ghc/-/merge_requests/6793
> earlier. But yes, it is rather simple to make that change.
>
> Am Mittwoch, dem 20.10.2021 um 19:49 +0300 schrieb Oleg Grenrus:
> > I attach the patches for ghc, containers and text.
> > I encourage someone (Joachim?) to run the nofib suite.
>
> nofib might be too specialized; I think “ghc compiling Cabal” is a good
> benchmark. I’ll do that eventually, if GHC’s CI doesn’t do that already
> for me (I’ll ask Ben what kind of infrastructure we have for that –
> doing it manually and correctly is tedious and error-prone), maybe
> tomorrow.
>
> Cheers,
> Joachim
> --
> Joachim Breitner
>   mail at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20211021/7c77e389/attachment.html>