Be mindful of GADT tyvar order when desugaring record updates
authorRyan Scott <ryan.gl.scott@gmail.com>
Fri, 17 Aug 2018 14:31:27 +0000 (16:31 +0200)
committerBen Gamari <ben@smart-cactus.org>
Fri, 5 Oct 2018 22:48:18 +0000 (18:48 -0400)
commit0af55c128d06e8c23a6fd68bafe47a5315bea812
tree3d6296cf38943249f137fef58a848c034025bb69
parenta2e3334c0eaf249c5bc105c2ac15ef2ac84d78a0
Be mindful of GADT tyvar order when desugaring record updates

After commit ef26182e2014b0a2a029ae466a4b121bf235e4e4,
the type variable binders in GADT constructor type signatures
are now quantified in toposorted order, instead of always having
all the universals before all the existentials. Unfortunately, that
commit forgot to update some code (which was assuming the latter
scenario) in `DsExpr` which desugars record updates. This wound
up being the cause of #15499.

This patch makes up for lost time by desugaring record updates in
a way such that the desugared expression applies type arguments to
the right-hand side constructor in the correct order—that is, the
order in which they were quantified by the user.

Test Plan: make test TEST=T15499

Reviewers: simonpj, bgamari

Reviewed By: simonpj

Subscribers: rwbarton, carter

GHC Trac Issues: #15499

Differential Revision: https://phabricator.haskell.org/D5060

(cherry picked from commit 63b6a1d44849c479d2a7cb59211f5c64d133bc62)
testsuite/tests/typecheck/should_compile/all.T