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/all.T | |
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/all.T')
-rw-r--r-- | testsuite/tests/printer/all.T | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/printer/all.T b/testsuite/tests/printer/all.T index 7dda6b36fa..203efa4be4 100644 --- a/testsuite/tests/printer/all.T +++ b/testsuite/tests/printer/all.T @@ -54,3 +54,5 @@ test('T14289', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T1428 test('T14289b', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T14289b']) test('T14289c', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T14289c']) test('T14306', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T14306']) +test('T14343', normal, compile_fail, ['']) +test('T14343b', normal, compile_fail, ['']) |