diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-01-15 17:12:18 -0800 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-01-15 17:12:18 -0800 |
| commit | b6a719bb3dcc51da8c162e213a4fdc43a35cb992 (patch) | |
| tree | 21317763da0f672ee3a9190cb6d01ff2448542b0 /CONTRIBUTING | |
| parent | b9bf41f6a25239bb2c0780d146ba1f18c061d6d3 (diff) | |
Update the GblRdrEnv when processing modules
Without a complete environment, we will miss some instances that were
encountered during typechecking.
Diffstat (limited to 'CONTRIBUTING')
0 files changed, 0 insertions, 0 deletions