Parenthesize forall-type args in cvtTypeKind
authorRyan Scott <ryan.gl.scott@gmail.com>
Mon, 15 Jan 2018 18:51:55 +0000 (13:51 -0500)
committerBen Gamari <ben@smart-cactus.org>
Mon, 15 Jan 2018 18:53:46 +0000 (13:53 -0500)
commitf380115cd834ffbe51aca60f5476a51b94cdd413
tree97ce4906b20c00a369e763954c75d3f6f02c2d9f
parent41afbb3f20f3d84abacb37afcc5aa64b24c22da8
Parenthesize forall-type args in cvtTypeKind

Trac #14646 happened because we forgot to parenthesize `forall` types to
the left of an arrow. This simple patch fixes that.

Test Plan: make test TEST=T14646

Reviewers: alanz, goldfire, bgamari

Reviewed By: alanz

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14646

Differential Revision: https://phabricator.haskell.org/D4298
compiler/hsSyn/Convert.hs
testsuite/tests/th/T14646.hs [new file with mode: 0644]
testsuite/tests/th/T14646.stderr [new file with mode: 0644]
testsuite/tests/th/all.T