Great thanks! There is also
https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/strictness-an...
and a couple of sub-pages, as you'll see in the index.
It'd be good if they were somehow connected together?
Simon
| -----Original Message-----
| From: ghc-devs On Behalf Of Ben Gamari
| Sent: 24 April 2020 02:42
| To: GHC developers
| Subject: Demand signature grammar
|
| Hello everyone,
|
| I routinely find myself having to dig through the Outputable instances
| in Demand.Types to decipher our joint demand signature syntax. Tonight I
| finally broke down and extracted a BNF-like grammar summarizing the
| syntax. It can be found on the Wiki [1]. I hope it is helpful for others
| as well.
|
| Cheers,
|
| - Ben
|
|
| [1]
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.h
| askell.org%2Fghc%2Fghc%2F-
| %2Fwikis%2Fcommentary%2Fcompiler%2Fdemand&data=02%7C01%7Csimonpj%40mic
| rosoft.com%7C275ae65931c64c4744f608d7e7f0c80a%7C72f988bf86f141af91ab2d7cd0
| 11db47%7C1%7C0%7C637232893656322382&sdata=49DnYTodrydvbrRQSGwy4AY85o3w
| X4sFhM1uH9lewxQ%3D&reserved=0
