diff options
Diffstat (limited to 'compiler/GHC/Tc/Utils/Monad.hs')
| -rw-r--r-- | compiler/GHC/Tc/Utils/Monad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Utils/Monad.hs b/compiler/GHC/Tc/Utils/Monad.hs index 5cb8ed8d88..240a836d72 100644 --- a/compiler/GHC/Tc/Utils/Monad.hs +++ b/compiler/GHC/Tc/Utils/Monad.hs @@ -1865,7 +1865,7 @@ It's distressingly delicate though: class constraints mentioned above. But we may /also/ end up taking constraints built at some inner level, and emitting them at some outer level, and then breaking the TcLevel invariants - See Note [TcLevel and untouchable type variables] in GHC.Tc.Utils.TcType + See Note [TcLevel invariants] in GHC.Tc.Utils.TcType So dropMisleading has a horridly ad-hoc structure. It keeps only /insoluble/ flat constraints (which are unlikely to very visibly trip |