[Git][ghc/ghc][master] Export setInertSet from GHC.Tc.Solver.Monad

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
e542d590 by sheaf at 2023-08-29T19:52:40-04:00
Export setInertSet from GHC.Tc.Solver.Monad

We used to export getTcSInerts and setTcSInerts from GHC.Tc.Solver.Monad.
These got renamed to getInertSet/setInertSet in e1590ddc. That commit also removed
the export of setInertSet, but that function is useful for the GHC API.

- - - - -


1 changed file:

- compiler/GHC/Tc/Solver/Monad.hs


Changes:

=====================================
compiler/GHC/Tc/Solver/Monad.hs
=====================================
@@ -69,7 +69,7 @@ module GHC.Tc.Solver.Monad (
     getHasGivenEqs, setInertCans,
     getInertEqs, getInertCans, getInertGivens,
     getInertInsols, getInnermostGivenEqLevel,
-    getInertSet,
+    getInertSet, setInertSet,
     getUnsolvedInerts,
     removeInertCts, getPendingGivenScs,
     insertFunEq, addInertForAll,
@@ -2314,4 +2314,4 @@ and that is readily soluble.
 In short: loop-breaking Wanteds, when we aren't unifying,
 seems of no merit.  Hence TEFA_Recurse, rather than TEFA_Break,
 in `wanted_flags` in `checkTypeEq`.
--}
\ No newline at end of file
+-}



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e542d590be63cf2611a9615f962a52ba974f6e24

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e542d590be63cf2611a9615f962a52ba974f6e24
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230829/63cb8065/attachment.html>