diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2019-11-22 20:12:07 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-16 19:31:44 -0500 |
| commit | 75355fdef61da44a395ee9bfa2b9dca0eecea58a (patch) | |
| tree | 93731c2483e5886c4dd9344e39ff81110ef5bdd8 /compiler/iface/LoadIface.hs | |
| parent | 3e17a866fecebc5f80b4e7da93a73803b86499ca (diff) | |
| download | haskell-75355fdef61da44a395ee9bfa2b9dca0eecea58a.tar.gz | |
Use "OrCoVar" functions less
As described in #17291, we'd like to separate coercions and expressions
in a more robust fashion.
This is a small step in this direction.
- `mkLocalId` now panicks on a covar.
Calls where this was not the case were changed to `mkLocalIdOrCoVar`.
- Don't use "OrCoVar" functions in places where we know the type is
not a coercion.
Diffstat (limited to 'compiler/iface/LoadIface.hs')
0 files changed, 0 insertions, 0 deletions