diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2019-01-23 11:46:46 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-23 11:46:46 -0800 |
commit | 53997f3db71d113bdad59548e3f16adfe90c112b (patch) | |
tree | dc3c45149c449a1cec2ec8d5546f4862ded53f0e /hoogle-test/ref/Bug946 | |
parent | a6504507cb7f575dad63aa9f992cfc8d4f70c582 (diff) |
Keep forall on H98 existential data constructors (#1003)
The information about whether or not there is a source-level `forall`
is already available on a `ConDecl` (as `con_forall`), so we should use
it instead of always assuming `False`!
Fixes #1002.
Diffstat (limited to 'hoogle-test/ref/Bug946')
0 files changed, 0 insertions, 0 deletions