diff options
author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-19 13:36:45 +0200 |
---|---|---|
committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 13:39:29 +0200 |
commit | 990d54c4e4a119d6d3a9ceae278eb7ca9fd24fce (patch) | |
tree | 3e4d8fba99a91199b1f903cb770e5e441fc63f34 /latex-test/ref | |
parent | 97829713e19399970c80b80c8bd05f437e5fe842 (diff) |
tyThingToLHsDecl: Preserve type synonyms that contain a forall (#880)
* tyThingToLHsDecls: Preserve type synonyms that contain a forall
Fixes #879.
* Add Note [Invariant: Never expand type synonyms]
* Clarify Note [Invariant: Never expand type synonyms]
(cherry picked from commit c3eb3f0581f69e816f9453b1747a9f2a3ba02bb9)
Diffstat (limited to 'latex-test/ref')
0 files changed, 0 insertions, 0 deletions