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 /haddock-api/resources/html/js-src/cookies.ts | |
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 'haddock-api/resources/html/js-src/cookies.ts')
0 files changed, 0 insertions, 0 deletions