diff options
| author | Adam Gundry <adam@well-typed.com> | 2021-03-12 15:02:17 +0000 |
|---|---|---|
| committer | Adam Gundry <adam@well-typed.com> | 2021-05-31 10:14:25 +0100 |
| commit | 101515944094eedd796aa37825480de163588e4b (patch) | |
| tree | 98a88c0261c23c2905c5ca747836d0a0a3255e15 /compiler/GHC/Plugins.hs | |
| parent | dfc0dc3ac2d83eedbfb648b4c69775c47071c078 (diff) | |
| download | haskell-wip/amg/T8095.tar.gz | |
WIP in the direction of linting StepsProvwip/amg/T8095
The awkward part here is that we need access to the FamInstEnvs whenver
we call Lint. I've attmepted to look them up where necessary and pass
them around, but this is unlikely to be correct yet.
Diffstat (limited to 'compiler/GHC/Plugins.hs')
0 files changed, 0 insertions, 0 deletions