[Git][ghc/ghc][wip/test-speed-ci] 111 commits: Make withDict opaque to the specialiser

[Ben Gamari (@bgamari)]

Spam detection software, running on the system "mail.haskell.org", has
identified this incoming email as possible spam.  The original message
has been attached to this so you can view it (if it isn't spam) or label
similar future email.  If you have any questions, see
@@CONTACT_ADDRESS@@ for details.

Content preview:  Ben Gamari pushed to branch wip/test-speed-ci at Glasgow Haskell
   Compiler / GHC Commits: 81d65f7f by sheaf at 2022-07-21T15:37:22+02:00 Make
   withDict opaque to the specialiser As pointed out in #21575, it is not sufficient
   to set withDict to inline after the typeclass specialiser, because we might
   inline withDict in one module and then import it in another, and we run into
   the same problem. This means we could still end up with incorrect runtime
   results because the typeclass specialiser would assume that distinct typeclass
   evidence terms at the same type are equal, when this is not necessarily the
   case when using withDict. [...] 

Content analysis details:   (5.9 points, 5.0 required)

 pts rule name              description
---- ---------------------- --------------------------------------------------
-0.0 T_RP_MATCHES_RCVD      Envelope sender domain matches handover relay
                            domain
 1.6 DATE_IN_PAST_03_06     Date: is 3 to 6 hours before Received: date
 1.1 URI_HEX                URI: URI hostname has long hexadecimal sequence
 0.5 URI_NOVOWEL            URI: URI hostname has long non-vowel sequence
-1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                            [score: 0.0000]
 0.0 HTML_MESSAGE           BODY: HTML included in message
 1.5 BODY_8BITS             BODY: Body includes 8 consecutive 8-bit characters
 0.0 T_DKIM_INVALID         DKIM-Signature header exists but is not valid
 3.1 GAPPY_HTML             HTML body with much useless whitespace

The original message was not completely plain text, and may be unsafe to
open with some email clients; in particular, it may contain a virus,
or confirm that your address can receive spam.  If you wish to view
it, it may be safer to save it to a file and open it with an editor.

-------------- next part --------------
An embedded message was scrubbed...
From: "Ben Gamari (@bgamari)" <gitlab at gitlab.haskell.org>
Subject: [Git][ghc/ghc][wip/test-speed-ci] 111 commits: Make withDict opaque to the specialiser
Date: Fri, 12 Aug 2022 11:33:29 -0400
Size: 183693
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20220812/1a55d8f5/attachment-0001.mht>