Skip to content

Draft: approximateWC: don't float higher TcLevel metas

sheaf requested to merge sheaf/ghc:T23939 into master

This MR ensures that approximateWC does not float out constraints which mention metavariables of higher level number than the ambient TcLevel. This ensures that we never encounter metavariables of higher TcLevel.

TODO:

  • Check this doesn't actually break programs.
  • Update the approximateWC note.
Edited by sheaf

Merge request reports