!4630: Unification variables from level n should not be in the Givens for a level-n implication · Merge requests · Glasgow Haskell Compiler / GHC

Simon Peyton Jones requested to merge wip/T18929 into master Dec 17, 2020

Unification variables from level n should not be in the Givens for a level-n implication: #18929 (closed)

This MR fixes the problem.

Not yet documented etc, but putting it up for review and CI

Edited Dec 17, 2020 by Simon Peyton Jones

Unification variables from level n should not be in the Givens for a level-n implication