-dinline-check for symbolic names?

Simon Peyton Jones simonpj at microsoft.com
Tue Aug 10 09:15:53 UTC 2021


It's hard to tell what is happening without a repro case. Can you share one?

You suggested that it might have something to do with using an operator.   Does the same thing happen if you replace the operator with an alpha-numeric name?

Simon

| -----Original Message-----
| From: Glasgow-haskell-users <glasgow-haskell-users-bounces at haskell.org>
| On Behalf Of Michael Sperber
| Sent: 06 August 2021 13:44
| To: glasgow-haskell-users at haskell.org
| Subject: Re: -dinline-check for symbolic names?
| 
| [You don't often get email from sperber at deinprogramm.de. Learn why this
| is important at http://aka.ms/LearnAboutSenderIdentification.]
| 
| On Fri, Aug 06 2021, Michael Sperber <sperber at deinprogramm.de> wrote:
| 
| > On Wed, Aug 04 2021, Carter Schonwald <carter.schonwald at gmail.com>
| wrote:
| >
| >> I'm not sure about the pragma debugging, but are you using it in
| >> point free style? Cause I'm that case it may not be inclined because
| >> it's not being fully applied on the left hand side?
| >
| > Good point, but I checked, and it's fully applied. :-(
| 
| Another note: Once I change the INLINE to INLINE [0], everything works:
| (&&&) gets inlined, and -dinline-check works.  Explanation welcome ...
| 
| --
| Regards,
| Mike
| 
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.has
| kell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fglasgow-haskell-
| users&data=04%7C01%7Csimonpj%40microsoft.com%7C7b8c76634e3c4ce86a7008
| d958d801ac%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63763850704993823
| 2%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1
| haWwiLCJXVCI6Mn0%3D%7C3000&sdata=DZHraN9nVbZMWxmekmYP2sAqRBh1qNbVWUlo
| JQdKnkc%3D&reserved=0


More information about the Glasgow-haskell-users mailing list