aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug6.html
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-01-15 17:12:18 -0800
committerAlexander Biehl <alexbiehl@gmail.com>2018-02-01 14:58:18 +0100
commitdeddced31cabadf62fe01fff77b094cd005e52a1 (patch)
tree89c7f3423837034e5c937f95b9203adb62dd8773 /html-test/ref/Bug6.html
parentf1a6a6c9c0538fc329054d4fb4d717371d456886 (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/Bug6.html')
0 files changed, 0 insertions, 0 deletions