Demand signature grammar

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Demand signature grammar

Ben Gamari-3
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://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/demand

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

signature.asc (497 bytes) Download Attachment
Reply | Threaded
Open this post in threaded view
|

RE: Demand signature grammar

GHC - devs mailing list
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 <[hidden email]> On Behalf Of Ben Gamari
|  Sent: 24 April 2020 02:42
|  To: GHC developers <[hidden email]>
|  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&amp;data=02%7C01%7Csimonpj%40mic
|  rosoft.com%7C275ae65931c64c4744f608d7e7f0c80a%7C72f988bf86f141af91ab2d7cd0
|  11db47%7C1%7C0%7C637232893656322382&amp;sdata=49DnYTodrydvbrRQSGwy4AY85o3w
|  X4sFhM1uH9lewxQ%3D&amp;reserved=0
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs