Skip to content

Pmc: record updates, long-distance information in do notation

sheaf requested to merge sheaf/ghc:T23520 into master

This MR contains two parts:

  • The first commit fixes #23520 (closed) by re-enabling pattern-match checking for record updates, which had been inadvertently disabled by e74fc066 due to Pmc being disabled in generated code.

    See the commit message for more information.

  • The first commit revealed that #21360 (closed) was in fact still broken. The second commit makes a few changes in the vicinity of matchSinglePatVar to ensure that long-distance information is correctly propagated in do notation.

Edited by sheaf

Merge request reports