Skip to content

Rename StrictSig to DmdSig (#19597)

Sebastian Graf requested to merge wip/T19597 into master

In #19597 (closed), we also settled on the following renamings:

  • idStrictness -> idDmdSig, strictnessInfo -> dmdSigInfo, HsStrictness -> HsDmdSig
  • idCprInfo -> idCprSig, cprInfo -> cprSigInfo, HsCpr -> HsCprSig

Fixes #19597 (closed).

Merge request reports