diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-04-26 13:52:51 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-05-04 15:00:44 -0400 |
| commit | e3ddf58d26cb490e5bf523d45b37c4d95379f19c (patch) | |
| tree | 55019fbf2a2ded4e2de54d5665177d9e4ff30ffc /utils/coverity | |
| parent | ca611447986fab9da82f4272f90fae3f0afda5a7 (diff) | |
| download | haskell-e3ddf58d26cb490e5bf523d45b37c4d95379f19c.tar.gz | |
linear types: Don't add external names to the usage env
This has no observable effect, but avoids storing useless data.
Diffstat (limited to 'utils/coverity')
0 files changed, 0 insertions, 0 deletions