diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2019-04-09 15:09:29 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-14 08:49:23 -0400 |
| commit | e7cad16c19fb226353d3fb6e92914ed953d32857 (patch) | |
| tree | d92844fc8e68c082489d42aba5ff2e1b096f4ccf /CODEOWNERS | |
| parent | d2271fe4e841cc157385bfc9ee498a0bf805f250 (diff) | |
| download | haskell-e7cad16c19fb226353d3fb6e92914ed953d32857.tar.gz | |
Add a safeguard to Core Lint
Lint returns a pair (Maybe a, WarnsAndErrs). The Maybe monad
allows to handle an unrecoverable failure.
In case of such a failure, the error should be added to the second
component of the pair. If this is not done, Lint will silently
accept bad programs. This situation actually happened during
development of linear types. This adds a safeguard.
Diffstat (limited to 'CODEOWNERS')
0 files changed, 0 insertions, 0 deletions