diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-08-28 22:58:52 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-08-28 22:58:53 +0200 |
| commit | 102284e72f8d29599803aa72ccec180db28e72c8 (patch) | |
| tree | 98cdd246b06eb3af83eaf61d9f6eea469b1f25d4 /testsuite/tests/polykinds/T14520.stderr | |
| parent | 34b8e613606653187f1ffae36a83e33f0c673720 (diff) | |
| download | haskell-102284e72f8d29599803aa72ccec180db28e72c8.tar.gz | |
Rename kind vars in left-to-right order in bindHsQTyVars
Summary:
When renaming kind variables in an `LHsQTyVars`, we were
erroneously putting all of the kind variables in the binders
//after// the kind variables in the body, resulting in #15568. The
fix is simple: just swap the order of these two around.
Test Plan: make test TEST=T15568
Reviewers: simonpj, bgamari, goldfire
Reviewed By: goldfire
Subscribers: goldfire, rwbarton, carter
GHC Trac Issues: #15568
Differential Revision: https://phabricator.haskell.org/D5108
Diffstat (limited to 'testsuite/tests/polykinds/T14520.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T14520.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T14520.stderr b/testsuite/tests/polykinds/T14520.stderr index 07042fde92..9c290ff4a5 100644 --- a/testsuite/tests/polykinds/T14520.stderr +++ b/testsuite/tests/polykinds/T14520.stderr @@ -1,6 +1,6 @@ T14520.hs:15:24: error: • Expected kind ‘bat w w’, - but ‘Id’ has kind ‘XXX * a0 (XXX (a0 ~>> *) a0 kat0 b0) b0’ + but ‘Id’ has kind ‘XXX a0 * (XXX a0 (a0 ~>> *) kat0 b0) b0’ • In the first argument of ‘Sing’, namely ‘(Id :: bat w w)’ In the type signature: sId :: Sing w -> Sing (Id :: bat w w) |