Add the Unsatisfiable class
This commit implements GHC proposal #433, adding the Unsatisfiable class to the GHC.TypeError module. This provides an alternative to TypeError for which error reporting is more predictable: we report it when we are reporting unsolved Wanted constraints. Fixes #14983 #16249 #16906 #18310 #20835
Showing
- compiler/GHC/Builtin/Names.hs 20 additions, 1 deletioncompiler/GHC/Builtin/Names.hs
- compiler/GHC/Builtin/Types.hs 1 addition, 1 deletioncompiler/GHC/Builtin/Types.hs
- compiler/GHC/Builtin/Types/Prim.hs 2 additions, 2 deletionscompiler/GHC/Builtin/Types/Prim.hs
- compiler/GHC/Core/Type.hs 7 additions, 4 deletionscompiler/GHC/Core/Type.hs
- compiler/GHC/Data/Bag.hs 12 additions, 1 deletioncompiler/GHC/Data/Bag.hs
- compiler/GHC/Tc/Errors.hs 138 additions, 6 deletionscompiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Errors/Ppr.hs 2 additions, 0 deletionscompiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs 5 additions, 2 deletionscompiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Instance/Class.hs 12 additions, 11 deletionscompiler/GHC/Tc/Instance/Class.hs
- compiler/GHC/Tc/Instance/FunDeps.hs 10 additions, 0 deletionscompiler/GHC/Tc/Instance/FunDeps.hs
- compiler/GHC/Tc/Solver.hs 170 additions, 13 deletionscompiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Monad.hs 26 additions, 10 deletionscompiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Tc/Solver/Types.hs 11 additions, 4 deletionscompiler/GHC/Tc/Solver/Types.hs
- compiler/GHC/Tc/TyCl/Instance.hs 36 additions, 4 deletionscompiler/GHC/Tc/TyCl/Instance.hs
- compiler/GHC/Tc/Types/Constraint.hs 38 additions, 16 deletionscompiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Utils/Env.hs 1 addition, 1 deletioncompiler/GHC/Tc/Utils/Env.hs
- compiler/GHC/Tc/Utils/TcType.hs 1 addition, 0 deletionscompiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Validity.hs 3 additions, 1 deletioncompiler/GHC/Tc/Validity.hs
- compiler/GHC/Types/Error/Codes.hs 1 addition, 0 deletionscompiler/GHC/Types/Error/Codes.hs
- docs/users_guide/9.8.1-notes.rst 15 additions, 0 deletionsdocs/users_guide/9.8.1-notes.rst
Loading
Please register or sign in to comment