diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-08-23 17:09:19 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-08-23 23:39:15 -0400 |
| commit | 8a939b404e26bcaa07caa8b5e83bdf79307d2807 (patch) | |
| tree | a69b41ec6e015cddf78a2c9bf65248abc3fb92f5 /testsuite/tests/backpack | |
| parent | d94e7ebd9aee5016e68da09883a0a898c4805429 (diff) | |
| download | haskell-8a939b404e26bcaa07caa8b5e83bdf79307d2807.tar.gz | |
TcPlugins: solve and report contras simultaneously
This changes the TcPlugin datatype to allow type-checking plugins
to report insoluble constraints while at the same time solve
some other constraints. This allows better error messages, as
the plugin can still simplify constraints, even when it wishes
to report a contradiction.
Pattern synonyms TcPluginContradiction and TcPluginOk are provided
for backwards compatibility: existing type-checking plugins should
continue to work without modification.
Diffstat (limited to 'testsuite/tests/backpack')
0 files changed, 0 insertions, 0 deletions