Inlining of `any @[]` vs `elem @[]`

[Simon Peyton Jones]

Ah, sorry, I thought it was just curiosity about what has changed.

I am not sure whether there will be future 8.10 releases; but you can open a ticket asking Ben to backport the fix (which you have found) to 8.10, if there is to be such a release.

Simon

|  -----Original Message-----
|  From: ÉRDI Gergő <gergo at erdi.hu>
|  Sent: 12 March 2021 11:23
|  To: Simon Peyton Jones <simonpj at microsoft.com>
|  Cc: GHC Devs <ghc-devs at haskell.org>
|  Subject: RE: Inlining of `any @[]` vs `elem @[]`
|  
|  On Fri, 12 Mar 2021, Simon Peyton Jones wrote:
|  
|  > I'm not sure... you could investigate, but I'm inclined just to
|  declare victory!
|  
|  That's easy for you to say, but here I am stuck with Stack not
|  supporting GHC 9.0...
|  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith
|  ub.com%2Fcommercialhaskell%2Fstack%2Fissues%2F5486&data=04%7C01%7C
|  simonpj%40microsoft.com%7C8ca06575fa2e439f3c9108d8e5494435%7C72f988bf8
|  6f141af91ab2d7cd011db47%7C1%7C0%7C637511450139614984%7CUnknown%7CTWFpb
|  GZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0
|  %3D%7C1000&sdata=djhrOesH8Ku%2FnfGynP%2Blx9swLHJ9blzfdMGak27OKbk%3
|  D&reserved=0