Skip to content
Blame Permalink
  • Matthew Farkas-Dyck's avatar
    c1f81b38
    Scrub partiality about `NewOrData`. · c1f81b38
    Matthew Farkas-Dyck authored and Marge Bot's avatar Marge Bot committed 
    Rather than a list of constructors and a `NewOrData` flag, we define `data DataDefnCons a = NewTypeCon a | DataTypeCons [a]`, which enforces a newtype to have exactly one constructor.

Closes #22070.

Bump haddock submodule.
    c1f81b38
    Scrub partiality about `NewOrData`.
    Matthew Farkas-Dyck authored and Marge Bot's avatar Marge Bot committed 
    Rather than a list of constructors and a `NewOrData` flag, we define `data DataDefnCons a = NewTypeCon a | DataTypeCons [a]`, which enforces a newtype to have exactly one constructor.

Closes #22070.

Bump haddock submodule.