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 /latex-test/ref/DefaultSignatures | |
| 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 'latex-test/ref/DefaultSignatures')
0 files changed, 0 insertions, 0 deletions