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