diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-24 07:02:30 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-24 07:02:30 -0400 |
| commit | 79c641de60f1d6aa6f724d4fc49137ccbe3ab008 (patch) | |
| tree | 36ffd1d9f569ccb78014fb29c75313ee83c177cb /testsuite/tests/th/T15783A.hs | |
| parent | eaf159340cfa948c16fa212ff1bf5aec6134a694 (diff) | |
| download | haskell-79c641de60f1d6aa6f724d4fc49137ccbe3ab008.tar.gz | |
Fix #15781 by using ktypedocs on type synonym RHSes
Summary:
This is a follow-up to D5173, which permitted
unparenthesized kind signatures in certain places. One place that
appeared to be overlooked was the right-hand sides of type synonyms,
which this patch addresses by introducing a `ktypedoc` parser
production (which is to `ctypdoc` as `ktype` is to `ctype`) and
using it in the right place.
Test Plan: make test TEST="KindSigs T15781"
Reviewers: harpocrates, bgamari
Reviewed By: harpocrates
Subscribers: rwbarton, mpickering, carter
GHC Trac Issues: #15781
Differential Revision: https://phabricator.haskell.org/D5245
Diffstat (limited to 'testsuite/tests/th/T15783A.hs')
0 files changed, 0 insertions, 0 deletions