diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-19 13:36:45 +0200 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-07-19 13:36:45 +0200 |
| commit | c3eb3f0581f69e816f9453b1747a9f2a3ba02bb9 (patch) | |
| tree | b6fa12d003a70349acd90f974cbb4005a6749357 /doc/conf.py | |
| parent | 657b1b3d519545f8d4ca048c06210d6cbf0f0da0 (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]
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions