Skip to content

TcPlugin: access to irreducible givens + fix passed ev_binds_var

Pavol Vargovčík requested to merge p4l1ly/ghc:tcIrreds-head into master

!8059 (merged) squashed and rebased from ghc-9.4 to master branch.

Merge request reports