aboutsummaryrefslogtreecommitdiff
path: root/doc/intro.rst
diff options
context:
space:
mode:
authorSimon Jakobi <simon.jakobi@gmail.com>2018-07-19 13:36:45 +0200
committerAlexander Biehl <alexbiehl@gmail.com>2018-07-19 13:36:45 +0200
commitc3eb3f0581f69e816f9453b1747a9f2a3ba02bb9 (patch)
treeb6fa12d003a70349acd90f974cbb4005a6749357 /doc/intro.rst
parent657b1b3d519545f8d4ca048c06210d6cbf0f0da0 (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/intro.rst')
0 files changed, 0 insertions, 0 deletions