Skip to content

Produce all DerivInfo in tcTyAndClassDecls

Vladislav Zavialov requested to merge wip/data-deriv-info into master

Before this refactoring:

  • DerivInfo for data family instances was returned from tcTyAndClassDecls
  • DerivInfo for data declarations was generated with mkDerivInfos and added at a later stage of the pipeline in tcInstDeclsDeriv

After this refactoring:

  • DerivInfo for both data family instances and data declarations is returned from tcTyAndClassDecls in a single list.

This uniform treatment results in a more convenient arrangement to fix #16731 (closed). It is now easy to access the TcTyCon needed to get tcTyConHeaderKiVars that I mention in #16731 (comment 202945)

Merge request reports