Re: Make Eq type class single method

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 <[email protected]>
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
>   [email protected]
>   http://www.joachim-breitner.de/
>
>
> _______________________________________________
> Libraries mailing list
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>

_______________________________________________
Libraries mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries