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 /html-test/ref/PR643_1.html | |
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 'html-test/ref/PR643_1.html')
0 files changed, 0 insertions, 0 deletions