Rename "well formedness" constraints to "well-definedness" constraints - Githubissues

IaFP / ghc

A slightly more Glorious Haskell Compiler

Other

2 stars 0 forks source link

Rename "well formedness" constraints to "well-definedness" constraints #36

Closed ahubers closed 2 years ago

ahubers commented 2 years ago

Need to change:

type WFT -> type WDT
$wf: -> $wd:
comments
record fields, e.g., wfMirror
helper functions, e.g., genWfConstraints and wfMirror accessors

Affects #32.