diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-10-23 10:05:09 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-24 18:39:08 -0400 |
| commit | 243c72eb60fc3481fe6db3fc0ea9cd836a9e7561 (patch) | |
| tree | bcde23f933dd239401adf97eaf712c31e42fdfce /testsuite/tests/th/T17394.stderr | |
| parent | 9de3f8b1382f46899b2be2092c0b94eae95ae6aa (diff) | |
| download | haskell-243c72eb60fc3481fe6db3fc0ea9cd836a9e7561.tar.gz | |
Mark promoted InfixT names as IsPromoted (#17394)
We applied a similar fix for `ConT` in #15572 but forgot to apply the
fix to `InfixT` as well. This patch fixes #17394 by doing just that.
Diffstat (limited to 'testsuite/tests/th/T17394.stderr')
| -rw-r--r-- | testsuite/tests/th/T17394.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/th/T17394.stderr b/testsuite/tests/th/T17394.stderr new file mode 100644 index 0000000000..c4ad33a671 --- /dev/null +++ b/testsuite/tests/th/T17394.stderr @@ -0,0 +1,8 @@ +T17394.hs:10:13-65: Splicing type + infixT (conT ''Maybe) ''(:*:) (conT ''Maybe) + ======> + (:*:) Maybe Maybe +T17394.hs:9:13-67: Splicing type + infixT (promotedT 'Nothing) '(:*:) (promotedT 'Nothing) + ======> + '(:*:) 'Nothing 'Nothing |