diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-19 16:55:50 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 12:16:12 -0400 |
| commit | 35e937973f61a7e5534ecd0b1c67111cd82d4238 (patch) | |
| tree | 515dd4f04763c179dad1ae1ed29ed4e5b3459bc8 /testsuite/tests/roles/should_compile | |
| parent | 947709395015bd6122eedc6da5df356660e76208 (diff) | |
| download | haskell-35e937973f61a7e5534ecd0b1c67111cd82d4238.tar.gz | |
Track specified/invisible more carefully.
In particular, this allows correct tracking of specified/invisible
for variables in Haskell98 data constructors and in pattern synonyms.
GADT-syntax constructors are harder, and are left until #11721.
This was all inspired by Simon's comments to my fix for #11512,
which this subsumes.
Test case: ghci/scripts/TypeAppData
[skip ci] (The test case fails because of an unrelated problem
fixed in the next commit.)
Diffstat (limited to 'testsuite/tests/roles/should_compile')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles1.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr index fe0658b56c..b44ff8f5ce 100644 --- a/testsuite/tests/roles/should_compile/Roles1.stderr +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -4,8 +4,8 @@ TYPE SIGNATURES Roles1.K3 :: forall k (a :: k). T3 a Roles1.K4 :: forall (a :: * -> *) b. a b -> T4 a b Roles1.K5 :: forall a. a -> T5 a - Roles1.K6 :: forall k (a :: k). T6 a - Roles1.K7 :: forall k (a :: k) b. b -> T7 a b + Roles1.K6 :: forall {k} (a :: k). T6 a + Roles1.K7 :: forall {k} (a :: k) b. b -> T7 a b TYPE CONSTRUCTORS type role T1 nominal data T1 a = K1 a |