diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-24 15:58:09 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-26 16:03:13 -0800 |
| commit | 9603de6ac7a75ea7c620ce05e3c5f500bcaf5dd6 (patch) | |
| tree | 1cf0815d3daed8c806604d8ffabd09239d087b29 /testsuite/tests/roles | |
| parent | 5c95e6b7c2790c192720ba5a533d6d11fad570f8 (diff) | |
| download | haskell-9603de6ac7a75ea7c620ce05e3c5f500bcaf5dd6.tar.gz | |
Treat all TyCon with hole names as skolem abstract.
Summary:
Fixes #13335.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate
Reviewers: goldfire, austin, simonpj, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3211
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles12.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_fail/T9204.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/roles/should_fail/Roles12.stderr b/testsuite/tests/roles/should_fail/Roles12.stderr index ac57e2bcbc..d1872f3350 100644 --- a/testsuite/tests/roles/should_fail/Roles12.stderr +++ b/testsuite/tests/roles/should_fail/Roles12.stderr @@ -4,6 +4,6 @@ Roles12.hs:5:1: error: and its hs-boot file Main module: type role T phantom data T a - Boot file: {- abstract -} data T a + Boot file: data T a The roles do not match. Roles on abstract types default to ‘representational’ in boot files. diff --git a/testsuite/tests/roles/should_fail/T9204.stderr b/testsuite/tests/roles/should_fail/T9204.stderr index e5e99253fc..998f17c284 100644 --- a/testsuite/tests/roles/should_fail/T9204.stderr +++ b/testsuite/tests/roles/should_fail/T9204.stderr @@ -4,6 +4,6 @@ T9204.hs:6:1: error: and its hs-boot file Main module: type role D phantom data D a - Boot file: {- abstract -} data D a + Boot file: data D a The roles do not match. Roles on abstract types default to ‘representational’ in boot files. |