diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-01-15 17:12:18 -0800 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-02-01 14:58:18 +0100 |
| commit | deddced31cabadf62fe01fff77b094cd005e52a1 (patch) | |
| tree | 89c7f3423837034e5c937f95b9203adb62dd8773 /.gitignore | |
| parent | f1a6a6c9c0538fc329054d4fb4d717371d456886 (diff) | |
Update the GblRdrEnv when processing modules
Without a complete environment, we will miss some instances that were
encountered during typechecking.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions