diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2022-04-06 18:55:11 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-07 12:57:59 -0400 |
| commit | 02279a9c37deb34556834f706dbedc09258df753 (patch) | |
| tree | 49875226385590fc2e25c6db224890ad374cc785 /testsuite/tests/hiefile | |
| parent | 83363c8b04837ee871a304cf85207cf79b299fb0 (diff) | |
| download | haskell-02279a9c37deb34556834f706dbedc09258df753.tar.gz | |
Rename [] to List (#21294)
This patch implements a small part of GHC Proposal #475.
The key change is in GHC.Types:
- data [] a = [] | a : [a]
+ data List a = [] | a : List a
And the rest of the patch makes sure that List is pretty-printed as []
in various contexts.
Updates the haddock submodule.
Diffstat (limited to 'testsuite/tests/hiefile')
| -rw-r--r-- | testsuite/tests/hiefile/should_run/HieQueries.stdout | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/testsuite/tests/hiefile/should_run/HieQueries.stdout b/testsuite/tests/hiefile/should_run/HieQueries.stdout index 98f0466815..d352cc9c38 100644 --- a/testsuite/tests/hiefile/should_run/HieQueries.stdout +++ b/testsuite/tests/hiefile/should_run/HieQueries.stdout @@ -3,14 +3,15 @@ At point (31,9), we found: ========================== ┌ │ $dC at HieQueries.hs:31:1-13, of type: C [a] -│ is an evidence variable bound by a let, depending on: [$fC[], $dC] +│ is an evidence variable bound by a let, depending on: [$fCList, +│ $dC] │ with scope: LocalScope HieQueries.hs:31:1-13 │ bound at: HieQueries.hs:31:1-13 │ Defined at <no location info> └ | +- ┌ -| │ $fC[] at HieQueries.hs:27:10-21, of type: forall a. C a => C [a] +| │ $fCList at HieQueries.hs:27:10-21, of type: forall a. C a => C [a] | │ is an evidence variable bound by an instance of class C | │ with scope: ModuleScope | │ @@ -30,7 +31,7 @@ At point (37,9), we found: ========================== ┌ │ $dShow at HieQueries.hs:37:1-22, of type: Show [(Integer, x, A)] -│ is an evidence variable bound by a let, depending on: [$fShow[], +│ is an evidence variable bound by a let, depending on: [$fShowList, │ $dShow] │ with scope: LocalScope HieQueries.hs:37:1-22 │ bound at: HieQueries.hs:37:1-22 @@ -38,7 +39,7 @@ At point (37,9), we found: └ | +- ┌ -| │ $fShow[] at HieQueries.hs:37:1-22, of type: forall a. Show a => Show [a] +| │ $fShowList at HieQueries.hs:37:1-22, of type: forall a. Show a => Show [a] | │ is a usage of an external evidence variable | │ Defined in `GHC.Show' | └ |