diff options
| author | Andreas Herrmann <andreash87@gmx.ch> | 2018-06-07 13:24:52 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-07 18:06:29 -0400 |
| commit | 767536ccf95d8352d146b6544857b28d9c42937e (patch) | |
| tree | c0d3f6d4d6b6977ed9835c9e5617aba746765d57 /testsuite/tests/printer/Makefile | |
| parent | e7678d6a0607013749e9ba4d88df949ad1192765 (diff) | |
| download | haskell-767536ccf95d8352d146b6544857b28d9c42937e.tar.gz | |
Fix unparseable pretty-printing of promoted data cons
Previously we would print code which would not round-trip:
```
> :set -XDataKinds
> :set -XPolyKinds
> data Proxy k = Proxy
> _ :: Proxy '[ 'True ]
error:
Found hole: _ :: Proxy '['True]
> _ :: Proxy '['True]
error:
Invalid type signature: _ :: ...
Should be of form <variable> :: <type>
```
Test Plan: Validate with T14343
Reviewers: RyanGlScott, goldfire, bgamari, tdammers
Reviewed By: RyanGlScott, bgamari
Subscribers: tdammers, rwbarton, thomie, carter
GHC Trac Issues: #14343
Differential Revision: https://phabricator.haskell.org/D4746
Diffstat (limited to 'testsuite/tests/printer/Makefile')
| -rw-r--r-- | testsuite/tests/printer/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/printer/Makefile b/testsuite/tests/printer/Makefile index 17fc65215f..044e44332e 100644 --- a/testsuite/tests/printer/Makefile +++ b/testsuite/tests/printer/Makefile @@ -229,3 +229,11 @@ T14289c: .PHONY: T14306 T14306: $(CHECK_PPR) "`'$(TEST_HC)' $(TEST_HC_OPTS) --print-libdir | tr -d '\r'`" T14306.hs + +.PHONY: T14343 +T14343: + $(CHECK_PPR) "`'$(TEST_HC)' $(TEST_HC_OPTS) --print-libdir | tr -d '\r'`" T14343.hs + +.PHONY: T14343b +T14343b: + $(CHECK_PPR) "`'$(TEST_HC)' $(TEST_HC_OPTS) --print-libdir | tr -d '\r'`" T14343b.hs |