aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug313.html
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-01-15 17:12:18 -0800
committerAlec Theriault <alec.theriault@gmail.com>2018-01-15 17:12:18 -0800
commitb6a719bb3dcc51da8c162e213a4fdc43a35cb992 (patch)
tree21317763da0f672ee3a9190cb6d01ff2448542b0 /html-test/ref/Bug313.html
parentb9bf41f6a25239bb2c0780d146ba1f18c061d6d3 (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/Bug313.html')
0 files changed, 0 insertions, 0 deletions