Demand signature grammar

[Simon Peyton Jones]

Great thanks!  There is also 
https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/strictness-analysis
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 <ghc-devs-bounces at haskell.org> On Behalf Of Ben Gamari
|  Sent: 24 April 2020 02:42
|  To: GHC developers <ghc-devs at haskell.org>
|  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