Occurrence info on binders and STG

[Simon Peyton Jones]

Can you be more specific?  I don’t think occurrence info is used at all in STG.

Simon

| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Gabor
| Greif
| Sent: 01 August 2017 16:02
| To: ghc-devs <ghc-devs at haskell.org>
| Subject: Occurrence info on binders and STG
| 
| Hi devs!
| 
| I just had a short exchange with Joachim, he sent me to this place.
| 
| Can anybody explain how occurrence info is used in STG?
| 
| Cheers and thanks,
| 
|     Gabor
| 
| ---------- Forwarded message ----------
| From: Joachim Breitner <mail at joachim-breitner.de>
| Date: Tue, 01 Aug 2017 10:47:48 -0400
| Subject: Re: [commit: ghc] master: Simplify OccurAnal.tagRecBinders
| (b311096)
| To: Gabor Greif <ggreif at gmail.com>
| 
| Hi,
| 
| feel free to CC the mailing list on such questions. I often don’t know
| things perfectly either.
| 
| Am Dienstag, den 01.08.2017, 16:43 +0200 schrieb Gabor Greif:
| 
| >
| > Loosely related question:
| 
| Very loosely :-)
| 
| 
| >  - when doing STG Cse, the occurrence info is not updated when a
| > wild(card)-binder is used. Is there a recommended way to re-run
| > occ-analysis on STG? (I fear there is not.)
| 
| I fear that too. It the occ info used past that stage?
| 
| >  - I noticed that "wild"-binders sometimes do not appear at their
| > binding site (after "of" and "{") in STG dumps. Dumping gets
| > suppressed when they are deemed dead. Should STG consider occ-info at
| > all?
| 
| Good questions. I remember that Simon commented on that before, but I
| don’t remember where…
| 
| 
| > oachim
| --
| Joachim “nomeata” Breitner
|   mail at joachim-breitner.de •
| https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.joac
| him-
| breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cf811a87d003a4dd67
| ae908d4d8ee5b7a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636371965641
| 220522%7CUnknown%7CVW5rbm93bnx7IlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIj
| oiT3RoZXIifQ%3D%3D%7C-
| 1&sdata=cKuY1cGPJnfqqaV1wwGU5qCORpiquDNbDeA0ppgKH%2Bc%3D&reserved=0
|   XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
|   Debian Developer: nomeata at debian.org
| _______________________________________________
| ghc-devs mailing list
| ghc-devs at haskell.org
| https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask
| ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
| devs&data=04%7C01%7Csimonpj%40microsoft.com%7Cf811a87d003a4dd67ae908d4d8e
| e5b7a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636371965641220522%7CU
| nknown%7CVW5rbm93bnx7IlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiT3RoZXIi
| fQ%3D%3D%7C-
| 1&sdata=IZBnhS28yxzjesQY%2B6j8%2B330rL1Vx2WO60r9nxPnOU0%3D&reserved=0