| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Tc.Solver.Default
Synopsis
- tryDefaulting :: WantedConstraints -> TcS WantedConstraints
- tryUnsatisfiableGivens :: WantedConstraints -> TcS WantedConstraints
- isInteractiveClass :: Bool -> Class -> Bool
- isNumClass :: Bool -> Class -> Bool
Documentation
tryUnsatisfiableGivens :: WantedConstraints -> TcS WantedConstraints Source #
If an implication contains a Given of the form Unsatisfiable msg,
use it to solve all Wanteds within the implication.
See point (C) in Note [Implementation of Unsatisfiable constraints] in GHC.Tc.Errors.
This does a complete walk over the implication tree.