aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/mini_Test.html
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 /html-test/ref/mini_Test.html
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 'html-test/ref/mini_Test.html')
0 files changed, 0 insertions, 0 deletions