diff options
author | sheaf <sam.derbyshire@gmail.com> | 2023-04-29 18:59:10 +0200 |
---|---|---|
committer | sheaf <sam.derbyshire@gmail.com> | 2023-04-29 20:23:06 +0200 |
commit | 57277662989b97dbf5ddc034d6c41ce39ab674ab (patch) | |
tree | 7d9fe1c4cb95a8bcf82490c354b5df0e9ab9037c /libraries/base/System | |
parent | 4eaf2c2a7682fa9933261f5eb25da9e2333c9608 (diff) | |
download | haskell-57277662989b97dbf5ddc034d6c41ce39ab674ab.tar.gz |
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
Diffstat (limited to 'libraries/base/System')
0 files changed, 0 insertions, 0 deletions