Skip to content

Remove SDocs from ErrCtxt & ErrInfo

sheaf requested to merge sheaf/ghc:T23436 into master

This MR fixes #23436 (closed). It:

  • turns the SDoc used in ErrCtxt into a proper error datatype, ErrCtxtMsg, which contains all the different error contexts that can be added,

  • replaces ErrInfo with [ErrCtxt]. ErrInfo used to contain two SDocs; the first is replaced with [ErrCtxt], and the second is removed, with the relevant information being put in the appropriate error message constructors.

Edited by sheaf

Merge request reports