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
2 changed files:
Changes:
| ... | ... | @@ -37,7 +37,7 @@ module GHC.Tc.Solver.Monad ( |
| 37 | 37 | |
| 38 | 38 | -- TcSMode
|
| 39 | 39 | TcSMode(..), getTcSMode, setTcSMode,
|
| 40 | -
|
|
| 40 | + |
|
| 41 | 41 | -- The pipeline
|
| 42 | 42 | StopOrContinue(..), continueWith, stopWith,
|
| 43 | 43 | startAgainWith, SolverStage(Stage, runSolverStage), simpleStage,
|
| 1 | +module GHC.Tc.Solver.Solve where
|
|
| 2 | + |
|
| 3 | +import GHC.Tc.Solver.Monad( TcS )
|
|
| 4 | +import GHC.Tc.Types.Constraint( WantedConstraints, Cts )
|
|
| 5 | + |
|
| 6 | +solveSimpleWanteds :: Cts -> TcS WantedConstraints |
|
| \ No newline at end of file |