Simon Peyton Jones pushed to branch wip/T23109 at Glasgow Haskell Compiler / GHC Commits: eea9a182 by Simon Peyton Jones at 2025-06-06T17:35:49+01:00 Wibbles - - - - - 2 changed files: - compiler/GHC/Tc/Solver/Monad.hs - + compiler/GHC/Tc/Solver/Solve.hs-boot Changes: ===================================== compiler/GHC/Tc/Solver/Monad.hs ===================================== @@ -37,7 +37,7 @@ module GHC.Tc.Solver.Monad ( -- TcSMode TcSMode(..), getTcSMode, setTcSMode, - + -- The pipeline StopOrContinue(..), continueWith, stopWith, startAgainWith, SolverStage(Stage, runSolverStage), simpleStage, ===================================== compiler/GHC/Tc/Solver/Solve.hs-boot ===================================== @@ -0,0 +1,6 @@ +module GHC.Tc.Solver.Solve where + +import GHC.Tc.Solver.Monad( TcS ) +import GHC.Tc.Types.Constraint( WantedConstraints, Cts ) + +solveSimpleWanteds :: Cts -> TcS WantedConstraints \ No newline at end of file View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/eea9a1825f8d9eb39f93be53779bde47... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/eea9a1825f8d9eb39f93be53779bde47... You're receiving this email because of your account on gitlab.haskell.org.